1 files changed, 0 insertions, 64 deletions
diff --git a/libchill/unhex.c b/libchill/unhex.c
deleted file mode 100644
index 1a7a34408c1..00000000000
--- a/libchill/unhex.c
+++ /dev/null
@@ -1,64 +0,0 @@
-/* Implement runtime actions for CHILL.
-   Copyright (C) 1992,1993 Free Software Foundation, Inc.
-   Author: Wilfried Moser
-
-This file is part of GNU CC.
-
-GNU CC is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
-any later version.
-
-GNU CC is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
-
-You should have received a copy of the GNU General Public License
-along with GNU CC; see the file COPYING.  If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA.  */
-
-/* As a special exception, if you link this library with other files,
-   some of which are compiled with GCC, to produce an executable,
-   this library does not by itself cause the resulting executable
-   to be covered by the GNU General Public License.
-   This exception does not however invalidate any other reasons why
-   the executable file might be covered by the GNU General Public License.  */
-
-#define __CHILL_LIB__
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <setjmp.h>
-
-/*
- * function unhandled_exception
- *
- * parameter:
- *  exname		name of exception
- *  file		filename
- *  lineno		line number
- *  user_arg		user specified argument
- *
- * returns:
- *  never
- *
- * abstract:
- *  print an error message about unhandled exception and call abort
- *
- */
-
-void
-unhandled_exception (exname, file, lineno, user_arg)
-     char *exname;
-     char *file;
-     int lineno;
-     int user_arg;
-{
-  sleep (1); /* give previous output a chance to finish */
-  fprintf (stderr, "ChillLib: unhandled exception `%s' in file %s at line %d\n",
-	   exname, file, lineno);
-  fflush (stderr);
-  abort ();
-} /* unhandled_exception */