# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 819851389 0
# Node ID 7d0b87f737f906b27ab77ccab5d2171df28789e1
# Parent  43f740e4aea177a54c6da7c3c1584af4c947154a
(Fcommand_execute): Undo previous change.

diff -r 43f740e4aea1 -r 7d0b87f737f9 src/keyboard.c
--- a/src/keyboard.c	Sun Dec 24 23:39:48 1995 +0000
+++ b/src/keyboard.c	Mon Dec 25 00:29:49 1995 +0000
@@ -6400,8 +6400,7 @@
 	}
     }
 
-  while (! CONSP (cmd) || EQ (XCONS (cmd)->car, Qlambda)
-	 || EQ (XCONS (cmd)->car, Qautoload))
+  while (1)
     {
       final = Findirect_function (cmd);