diff -r cde717a55db7 -r 3a8501876dba src/Pure/Isar/proof_context.ML
--- a/src/Pure/Isar/proof_context.ML	Sun May 03 16:45:07 2015 +0200
+++ b/src/Pure/Isar/proof_context.ML	Sun May 03 17:19:27 2015 +0200
@@ -1346,9 +1346,10 @@
       [Pretty.quote (prt_term (Var (xi, Term.fastype_of t))), Pretty.str " =", Pretty.brk 1,
         Pretty.quote (prt_term t)];
 
-    fun prt_asm (b, ts) = Pretty.block (Pretty.breaks
-      ((if Binding.is_empty b then []
-        else [Binding.pretty b, Pretty.str ":"]) @ map (Pretty.quote o prt_term) ts));
+    fun prt_asm (b, ts) =
+      Pretty.block (Pretty.breaks
+        ((if Binding.is_empty b then [] else [Binding.pretty b, Pretty.str ":"]) @
+          map (Pretty.quote o prt_term) ts));
 
     fun prt_sect _ _ _ [] = []
       | prt_sect head sep prt xs =