# HG changeset patch
# User wenzelm
# Date 1392287820 -3600
# Node ID e77f2858bd59c440ccb144df20efc3a041211b09
# Parent  a76c679c0218f3a8d3cdf737c46c3976c13c5b02
tuned whitespace;

diff -r a76c679c0218 -r e77f2858bd59 src/Pure/Isar/toplevel.ML
--- 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 *)