src/HOL/main.ML

--- a/src/HOL/main.ML	Fri Dec 19 15:05:37 2008 +0100
+++ b/src/HOL/main.ML	Fri Dec 19 16:39:23 2008 +0100
@@ -4,5 +4,4 @@
 Classical Higher-order Logic -- only "Main".
 *)
 
-set new_locales;
 use_thy "Main";