--- gpsim-0.24.0/cli/input.cc.orig	2009-04-04 12:53:14 +0300

+++ gpsim-0.24.0/cli/input.cc	2009-08-27 01:42:45 +0300

@@ -451,6 +451,12 @@ void clear_input_buffer(void)

  */

 extern int init_parser();

+void exit_gpsim(int ret)

+{

+  exit_cli();

+  exit(ret);

+}

+

 int start_parse(void)

 {

--- gpsim-0.24.0/gpsim/main.cc.orig	2009-08-24 07:34:56 +0300

+++ gpsim-0.24.0/gpsim/main.cc	2009-08-27 01:45:01 +0300

@@ -189,12 +189,6 @@ void welcome(void)

   return;

 }

-void exit_gpsim(int ret)

-{

-  exit_cli();

-  exit(ret);

-}

-

 int

 main (int argc, char *argv[])

 {