diff src/utils.h @ 194:4f3364dcf450

[project @ 1993-11-03 21:37:59 by jwe]
author jwe
date Wed, 03 Nov 1993 21:38:05 +0000
parents de0e58f9b064
children 13c6086c325c
line wrap: on
line diff
--- a/src/utils.h
+++ b/src/utils.h
@@ -34,6 +34,13 @@
 class ostrstream;
 class tree_constant;
 
+// Tell g++ that jump_to_top_level doesn't return;
+
+#ifdef __GNUG__
+typedef void v_fcn_v (void);
+volatile v_fcn_v jump_to_top_level;
+#endif
+
 extern char *strsave (const char *);
 extern char *strconcat (const char *, const char *);
 extern void discard_until (istream&, char);