diff src/callint.c @ 153:25f70ba0133c r20-3b3

Import from CVS: tag r20-3b3
author cvs
date Mon, 13 Aug 2007 09:38:25 +0200
parents 131b0175ea99
children 15872534500d
line wrap: on
line diff
--- a/src/callint.c	Mon Aug 13 09:37:21 2007 +0200
+++ b/src/callint.c	Mon Aug 13 09:38:25 2007 +0200
@@ -310,13 +310,6 @@
 	    goto lose;
 	  specs = Fcar (Fcdr (specs));
 	}
-#ifdef MOCKLISP_SUPPORT
-      else if (EQ (funcar, Qmocklisp))
-	{
-	  single_console_state ();
-	  return ml_apply (fun, Qinteractive);
-	}
-#endif
       else
 	goto lose;
     }