src/Pure/Isar/new_locale.ML

--- a/src/Pure/Isar/new_locale.ML	Fri Dec 05 16:41:36 2008 +0100
+++ b/src/Pure/Isar/new_locale.ML	Mon Dec 08 14:18:29 2008 +0100
@@ -353,7 +353,7 @@
 
 fun activate_declarations thy dep ctxt =
   roundup thy activate_decls dep (get_local_idents ctxt, ctxt) |> uncurry put_local_idents;
-  
+
 fun activate_global_facts dep thy =
   roundup thy (activate_notes init_global_elem) dep (get_global_idents thy, thy) |>
   uncurry put_global_idents;