diff src/parse.y @ 3939:3dd8d3dc28d4

[project @ 2002-05-16 16:34:20 by jwe]
author jwe
date Thu, 16 May 2002 16:34:20 +0000
parents f9ea3dcf58ee
children 826092b5665e
line wrap: on
line diff
--- a/src/parse.y	Thu May 16 16:15:42 2002 +0000
+++ b/src/parse.y	Thu May 16 16:34:20 2002 +0000
@@ -1251,7 +1251,8 @@
 		  }
 		| END_OF_INPUT
 		  {
-		    if (! (reading_fcn_file || reading_script_file))
+		    if (! (reading_fcn_file || reading_script_file
+			   || get_input_from_eval_string))
 		      YYABORT;
 		  }
 		;