src/Pure/ML-Systems/polyml-5.2.1.ML

 (*  Title:      Pure/ML-Systems/polyml-5.2.1.ML
 
 Compatibility wrapper for Poly/ML 5.2.1.
 *)
-
-use "ML-Systems/unsynchronized.ML";
 
 open Thread;
 
 structure ML_Name_Space =
 struct

 
 fun reraise exn = raise exn;
 
 use "ML-Systems/polyml_common.ML";
 use "ML-Systems/multithreading_polyml.ML";
+use "ML-Systems/unsynchronized.ML";
+
+val _ = PolyML.Compiler.forgetValue "ref";
+val _ = PolyML.Compiler.forgetType "ref";
 
 val pointer_eq = PolyML.pointerEq;
 
 fun share_common_data () = PolyML.shareCommonData PolyML.rootFunction;