# HG changeset patch
# User jwe
# Date 800567372 0
# Node ID 434cc4304b2033f04d54918185554d695dc2983d
# Parent  addfb525226d6671a03d71072fb7dfa6f4423949
[project @ 1995-05-15 19:49:32 by jwe]

diff -r addfb525226d -r 434cc4304b20 src/pt-exp-base.cc
--- 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