src/Provers/classical.ML

 
 (** outer syntax **)
 
 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)))));
 
 val _ = OuterSyntax.add_parsers [print_clasetP];