changeset 1305:434cc4304b20

[project @ 1995-05-15 19:49:32 by jwe]
author jwe
date Mon, 15 May 1995 19:49:32 +0000
parents addfb525226d
children f92615001614
files src/pt-exp-base.cc
diffstat 1 files changed, 2 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/src/pt-exp-base.cc	Fri May 05 03:26:31 1995 +0000
+++ b/src/pt-exp-base.cc	Mon May 15 19:49:32 1995 +0000
@@ -1231,7 +1231,7 @@
 
 	  if (error_state)
 	    eval_error ();
-	  else if (nargin > 0)
+	  else
 	    {
 	      if (all_args_defined (args))
 		{
@@ -1248,8 +1248,6 @@
 		  eval_error ();
 		}
 	    }
-	  else
-	    panic_impossible ();  // XXX FIXME XXX -- is this correct?
 	}
     }
   else
@@ -1285,7 +1283,7 @@
 
 	  if (error_state)
 	    eval_error ();
-	  else if (nargin > 0)
+	  else
 	    {
 	      if (all_args_defined (args))
 		{
@@ -1300,8 +1298,6 @@
 		  eval_error ();
 		}
 	    }
-	  else
-	    panic_impossible ();  // XXX FIXME XXX -- is this correct?
 	}
     }
   else