src/Provers/classical.ML
changeset 36960 01594f816e3a
parent 36610 bafd82950e24
child 41581 72a02e3dec7e
     1.1 --- a/src/Provers/classical.ML	Mon May 17 15:11:25 2010 +0200
     1.2 +++ b/src/Provers/classical.ML	Mon May 17 23:54:15 2010 +0200
     1.3 @@ -1015,8 +1015,8 @@
     1.4  (** outer syntax **)
     1.5  
     1.6  val _ =
     1.7 -  OuterSyntax.improper_command "print_claset" "print context of Classical Reasoner"
     1.8 -    OuterKeyword.diag
     1.9 +  Outer_Syntax.improper_command "print_claset" "print context of Classical Reasoner"
    1.10 +    Keyword.diag
    1.11      (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_context o
    1.12        Toplevel.keep (print_cs o claset_of o Toplevel.context_of)));
    1.13