From 27461a41ebd907a75c0d3686990fa7c74f599e4f Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Sat, 30 Jan 2010 13:29:16 +0000
Subject: [PATCH] controlled_exit removed

---
 src/misc/util.c | 15 ---------------
 1 file changed, 15 deletions(-)

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                  */