# HG changeset patch
# User jwe
# Date 815309276 0
# Node ID a77f2df218641939ef56aa9bd47f22520c5d03f3
# Parent  58347671243833a6001a6d6d0dc07c5085a5fb5c
[project @ 1995-11-02 10:47:21 by jwe]

diff -r 583476712438 -r a77f2df21864 src/toplev.h
--- a/src/toplev.h	Thu Nov 02 10:32:51 1995 +0000
+++ b/src/toplev.h	Thu Nov 02 10:47:56 1995 +0000
@@ -36,7 +36,8 @@
 extern void parse_and_execute (FILE *f, int print = 0);
 
 extern void parse_and_execute (const char *s, int print = 0,
-			       int verbose = 0);
+			       int verbose = 0,
+			       const char *warn_for = 0);
 
 extern tree_constant eval_string (const char *string, int print,
 				  int& parse_status);