# HG changeset patch
# User jwe
# Date 751798389 0
# Node ID de0e58f9b0648a5456984156dfeaa7aac1e2feb3
# Parent  b37563114bc000a7f42769130ba61e46a7e9485f
[project @ 1993-10-28 08:52:15 by jwe]

diff -r b37563114bc0 -r de0e58f9b064 src/error.cc
--- a/src/error.cc	Tue Oct 26 22:20:00 1993 +0000
+++ b/src/error.cc	Thu Oct 28 08:53:09 1993 +0000
@@ -87,7 +87,7 @@
   va_end (args);
 }
 
-void volatile
+void
 panic (const char *fmt, ...)
 {
   flush_output_to_pager ();
diff -r b37563114bc0 -r de0e58f9b064 src/error.h
--- a/src/error.h	Tue Oct 26 22:20:00 1993 +0000
+++ b/src/error.h	Thu Oct 28 08:53:09 1993 +0000
@@ -36,7 +36,7 @@
 extern void usage (const char *fmt, ...);
 extern void warning (const char *fmt, ...);
 extern void error (const char *fmt, ...);
-extern void volatile panic (const char *fmt, ...);
+extern void panic (const char *fmt, ...);
 
 // Current error state.
 extern int error_state;
diff -r b37563114bc0 -r de0e58f9b064 src/utils.cc
--- a/src/utils.cc	Tue Oct 26 22:20:00 1993 +0000
+++ b/src/utils.cc	Thu Oct 28 08:53:09 1993 +0000
@@ -1078,7 +1078,7 @@
 /*
  * Return to the main command loop in octave.cc.
  */
-void volatile
+void
 jump_to_top_level (void)
 {
   run_all_unwind_protects ();
diff -r b37563114bc0 -r de0e58f9b064 src/utils.h
--- a/src/utils.h	Tue Oct 26 22:20:00 1993 +0000
+++ b/src/utils.h	Thu Oct 28 08:53:09 1993 +0000
@@ -59,7 +59,7 @@
 extern char *get_working_directory (const char *);
 extern int change_to_directory (const char *);
 extern int is_newer (const char *, time_t);
-extern void volatile jump_to_top_level (void);
+extern void jump_to_top_level (void);
 extern char *s_plural (int);
 extern char *es_plural (int);
 extern char *save_in_tmp_file (tree_constant& t, int nd = 2, int para = 0);