src/Provers/classical.ML

--- a/src/Provers/classical.ML	Tue Aug 16 13:42:23 2005 +0200
+++ b/src/Provers/classical.ML	Tue Aug 16 13:42:26 2005 +0200
@@ -1062,7 +1062,7 @@
 
 val print_clasetP =
   OuterSyntax.improper_command "print_claset" "print context of Classical Reasoner"
-    OuterSyntax.Keyword.diag
+    OuterKeyword.diag
     (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_context o (Toplevel.keep
       (Toplevel.node_case print_claset (print_local_claset o Proof.context_of)))));