diff src/input.cc @ 636:fae2bd91c027

[project @ 1994-08-23 18:39:50 by jwe]
author jwe
date Tue, 23 Aug 1994 18:39:50 +0000
parents 9ced66fce8a3
children 9ccf86647203
line wrap: on
line diff
--- a/src/input.cc	Tue Aug 23 17:57:20 1994 +0000
+++ b/src/input.cc	Tue Aug 23 18:39:50 1994 +0000
@@ -753,13 +753,13 @@
   char *prompt = "debug> ";
   if (nargin > 1)
    {
-      if (args(1).is_string ())
-	prompt = args(1).string_value ();
-      else
-	{
-	  error ("input: unrecognized argument");
-	  return retval;
-	}
+     prompt = args(1).string_value ();
+
+     if (error_state)
+       {
+	 error ("input: unrecognized argument");
+	 return retval;
+       }
     }
 
  again: