src/HOLCF/ROOT.ML

--- a/src/HOLCF/ROOT.ML	Mon Oct 27 15:29:01 1997 +0100
+++ b/src/HOLCF/ROOT.ML	Mon Oct 27 15:43:16 1997 +0100
@@ -10,8 +10,6 @@
 val banner = "HOLCF";
 writeln banner;
 
-set global_names;
-
 print_depth 1;
 
 use_thy "HOLCF";