diff src/utils.h @ 189:de0e58f9b064

[project @ 1993-10-28 08:52:15 by jwe]
author jwe
date Thu, 28 Oct 1993 08:53:09 +0000
parents 7a647cf4850c
children 4f3364dcf450
line wrap: on
line diff
--- a/src/utils.h
+++ b/src/utils.h
@@ -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);