diff --git a/src/callint.c b/src/callint.c
index f84d0048877..6e835d51b18 100644
--- a/src/callint.c
+++ b/src/callint.c
@@ -27,7 +27,6 @@ Boston, MA 02111-1307, USA.  */
 #include "commands.h"
 #include "keyboard.h"
 #include "window.h"
-#include "mocklisp.h"
 #include "keymap.h"
 
 #ifdef HAVE_INDEX
@@ -278,11 +277,6 @@ supply if the command inquires which events were used to invoke it.  */)
 	goto lose;
       specs = Fcar (Fcdr (specs));
     }
-  else if (EQ (funcar, Qmocklisp))
-    {
-      single_kboard_state ();
-      return ml_apply (fun, Qinteractive);
-    }
   else
     goto lose;