# HG changeset patch
# User jwe
# Date 831149411 0
# Node ID a84f9c1fe38b91664b1eed31f3a732715880f4e5
# Parent  0ef10ffb18eb48d51210dbfb819d83d930fb62ee
[project @ 1996-05-03 18:50:11 by jwe]

diff -r 0ef10ffb18eb -r a84f9c1fe38b src/input.cc
--- a/src/input.cc	Fri May 03 16:06:47 1996 +0000
+++ b/src/input.cc	Fri May 03 18:50:11 1996 +0000
@@ -527,7 +527,8 @@
   if (retval)
     current_input_line = retval;
 
-  input_line_number++;
+  if (! get_input_from_eval_string)
+    input_line_number++;
 
   return retval;
 }