src/Pure/Isar/outer_syntax.ML
changeset 7613 fe818734c387
parent 7604 55566b9ec7d7
child 7676 811022c3837e
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Sun Sep 26 16:41:16 1999 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Sun Sep 26 16:42:14 1999 +0200
     1.3 @@ -193,11 +193,12 @@
     1.4    end;
     1.5  
     1.6  val print_help =
     1.7 -  Toplevel.imperative print_outer_syntax o
     1.8    Toplevel.keep (fn state =>
     1.9 -    (print_outer_syntax ();
    1.10 -      Method.help_methods (Toplevel.theory_of state);
    1.11 -      Attrib.help_attributes (Toplevel.theory_of state)));
    1.12 +    let val opt_thy = try Toplevel.theory_of state in
    1.13 +      print_outer_syntax ();
    1.14 +      Method.help_methods opt_thy;
    1.15 +      Attrib.help_attributes opt_thy
    1.16 +    end);
    1.17  
    1.18  
    1.19