diff -r f5417836dbea -r 01594f816e3a src/Provers/classical.ML
--- a/src/Provers/classical.ML	Mon May 17 15:11:25 2010 +0200
+++ b/src/Provers/classical.ML	Mon May 17 23:54:15 2010 +0200
@@ -1015,8 +1015,8 @@
 (** outer syntax **)
 
 val _ =
-  OuterSyntax.improper_command "print_claset" "print context of Classical Reasoner"
-    OuterKeyword.diag
+  Outer_Syntax.improper_command "print_claset" "print context of Classical Reasoner"
+    Keyword.diag
     (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_context o
       Toplevel.keep (print_cs o claset_of o Toplevel.context_of)));