src/Sequents/prover.ML

--- a/src/Sequents/prover.ML	Mon Apr 06 16:30:44 2015 +0200
+++ b/src/Sequents/prover.ML	Mon Apr 06 17:06:48 2015 +0200
@@ -68,7 +68,7 @@
   end;
 
 val _ =
-  Outer_Syntax.command @{command_spec "print_pack"} "print pack of classical rules"
+  Outer_Syntax.command @{command_keyword print_pack} "print pack of classical rules"
     (Scan.succeed (Toplevel.keep (Pretty.writeln o pretty_pack o Toplevel.context_of)));