src/Pure/Isar/isar_syn.ML

--- a/src/Pure/Isar/isar_syn.ML	Thu Oct 25 13:52:05 2007 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Thu Oct 25 16:57:57 2007 +0200
@@ -731,7 +731,7 @@
 
 val _ =
   OuterSyntax.improper_command "undo" "undo last command" K.control
-    (Scan.succeed (Toplevel.no_timing o Toplevel.print o IsarCmd.undo));
+    (Scan.succeed (Toplevel.no_timing o IsarCmd.undo));
 
 val _ =
   OuterSyntax.improper_command "kill" "kill current history node" K.control