diff --git a/src/misc/util.c b/src/misc/util.c
index c6a6d70f4..f7f861ae1 100644
--- a/src/misc/util.c
+++ b/src/misc/util.c
@@ -6,21 +6,6 @@
 #include "ngspice.h"
 #include "util.h"
 
-#ifdef HAS_WINDOWS
-void winmessage(char* new_msg);
-#endif
-
-void 
-controlled_exit(int dummy)
-{
-#ifdef HAS_WINDOWS
-  winmessage("Fatal error in SPICE");
-#else
-  fprintf(stderr, "Fatal error in SPICE - Return");
-  getc(stdin);
-#endif
-}
-
 /* **************************************************************** */
 /*                                                                  */
 /*                     Stuff for Filename Handling                  */