diff -r 6e6d9e80ebb4 -r e5b55d7be9bb src/Provers/classical.ML
--- a/src/Provers/classical.ML	Sat Oct 06 16:41:22 2007 +0200
+++ b/src/Provers/classical.ML	Sat Oct 06 16:50:04 2007 +0200
@@ -1084,7 +1084,7 @@
 
 (** outer syntax **)
 
-val print_clasetP =
+val _ =
   OuterSyntax.improper_command "print_claset" "print context of Classical Reasoner"
     OuterKeyword.diag
     (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_context o (Toplevel.keep
@@ -1092,7 +1092,4 @@
         (Context.cases print_claset print_local_claset)
         (print_local_claset o Proof.context_of)))));
 
-val _ = OuterSyntax.add_parsers [print_clasetP];
-
-
 end;