src/Pure/ML-Systems/polyml-5.1.ML
changeset 28153 67147cc3f967
parent 28152 c1277547d59f
child 28254 d67ba23e0277
     1.1 --- a/src/Pure/ML-Systems/polyml-5.1.ML	Sun Sep 07 17:46:44 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml-5.1.ML	Sun Sep 07 17:48:49 2008 +0200
     1.3 @@ -10,4 +10,3 @@
     1.4  use "ML-Systems/polyml_old_compiler5.ML";
     1.5  
     1.6  val pointer_eq = PolyML.pointerEq;
     1.7 -