src/Pure/ML-Systems/polyml-5.1.ML
changeset 26390 99d4cbb1f941
parent 26389 3835c431e141
child 28144 2c27248bf267
     1.1 --- a/src/Pure/ML-Systems/polyml-5.1.ML	Tue Mar 25 11:52:15 2008 +0100
     1.2 +++ b/src/Pure/ML-Systems/polyml-5.1.ML	Tue Mar 25 12:14:17 2008 +0100
     1.3 @@ -10,12 +10,3 @@
     1.4  
     1.5  val pointer_eq = PolyML.pointerEq;
     1.6  
     1.7 -
     1.8 -(* single-threaded profiling *)
     1.9 -
    1.10 -local val profile_orig = profile in
    1.11 -
    1.12 -fun profile 0 f x = f x
    1.13 -  | profile n f x = NAMED_CRITICAL "profile" (fn () => profile_orig n f x);
    1.14 -
    1.15 -end;