src/Pure/Isar/theory_target.ML

--- a/src/Pure/Isar/theory_target.ML	Fri Nov 13 19:57:46 2009 +0100
+++ b/src/Pure/Isar/theory_target.ML	Fri Nov 13 20:41:29 2009 +0100
@@ -310,7 +310,8 @@
 local
 
 fun init_target _ NONE = global_target
-  | init_target thy (SOME target) = if Locale.defined thy (Locale.intern thy target)
+  | init_target thy (SOME target) =
+      if Locale.defined thy (Locale.intern thy target)
       then make_target target true (Class_Target.is_class thy target) ([], [], []) []
       else error ("No such locale: " ^ quote target);