diff -r dce4b7eb69c0 -r 4191beda8b90 src/Pure/ML-Systems/poplogml.ML
--- a/src/Pure/ML-Systems/poplogml.ML	Tue Oct 04 21:33:09 2005 +0200
+++ b/src/Pure/ML-Systems/poplogml.ML	Tue Oct 04 21:39:16 2005 +0200
@@ -7,8 +7,6 @@
 
 (** Basis structures **)
 
-fun pointer_eq (_: 'a, _: 'a) = false;
-
 structure General =
 struct
   exception Subscript = Array.Subscript;
@@ -233,9 +231,16 @@
 end;
 
 
+(* Compiler and runtime options *)
+
+val _ = Compile.filetype := ".ML";
+val _ = Memory.hilim := 5 * 1024 * 1024;
+
+fun pointer_eq (_: 'a, _: 'a) = false;
+
+
 (* ML toplevel *)
 
-
 fun ml_prompts p1 p2 = ();
 
 fun make_pp path pprint = ();