src/Pure/ML-Systems/polyml-5.1.ML
changeset 26389 3835c431e141
parent 26381 509a1ca9d35c
child 26390 99d4cbb1f941
     1.1 --- a/src/Pure/ML-Systems/polyml-5.1.ML	Tue Mar 25 08:29:50 2008 +0100
     1.2 +++ b/src/Pure/ML-Systems/polyml-5.1.ML	Tue Mar 25 11:52:15 2008 +0100
     1.3 @@ -6,6 +6,7 @@
     1.4  
     1.5  use "ML-Systems/polyml_common.ML";
     1.6  use "ML-Systems/multithreading_polyml.ML";
     1.7 +use "ML-Systems/polyml_old_compiler5.ML";
     1.8  
     1.9  val pointer_eq = PolyML.pointerEq;
    1.10  
    1.11 @@ -18,4 +19,3 @@
    1.12    | profile n f x = NAMED_CRITICAL "profile" (fn () => profile_orig n f x);
    1.13  
    1.14  end;
    1.15 -