src/Pure/Isar/toplevel.ML
changeset 37906 4195727a1f6c
parent 37905 0cf799737f5f
child 37937 9e482a3e651e
     1.1 --- a/src/Pure/Isar/toplevel.ML	Thu Jul 22 14:01:43 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Thu Jul 22 14:59:27 2010 +0200
     1.3 @@ -629,7 +629,7 @@
     1.4  
     1.5  (* managed execution *)
     1.6  
     1.7 -fun run_command thy_name (tr as Transition {print, ...}) st =
     1.8 +fun run_command thy_name tr st =
     1.9    (case
    1.10        (case init_of tr of
    1.11          SOME name => Exn.capture (fn () => Thy_Load.check_name thy_name name) ()