src/Pure/RAW/ml_heap_polyml-5.3.0.ML

 end;
 
 structure ML_Heap: ML_HEAP =
 struct
   fun share_common_data () = ();
-  val save_state = PolyML.SaveState.saveState o ml_platform_path;
+  val save_state = PolyML.SaveState.saveState o ML_System.platform_path;
 end;