src/Pure/Isar/toplevel.ML
changeset 55446 e77f2858bd59
parent 54678 87910da843d5
child 56055 8fe7414f00b1
--- a/src/Pure/Isar/toplevel.ML	Thu Feb 13 11:23:55 2014 +0100
+++ b/src/Pure/Isar/toplevel.ML	Thu Feb 13 11:37:00 2014 +0100
@@ -117,7 +117,8 @@
   | loc_begin NONE (Context.Proof lthy) =
       (Context.Proof o Local_Theory.restore, lthy)
   | loc_begin (SOME loc) (Context.Proof lthy) =
-      (Context.Proof o Named_Target.reinit lthy, loc_init loc (loc_exit (Local_Theory.assert_nonbrittle lthy)));
+      (Context.Proof o Named_Target.reinit lthy,
+        loc_init loc (loc_exit (Local_Theory.assert_nonbrittle lthy)));
 
 
 (* datatype node *)