blob: f4386d92880957613ec8793f26a233a70bb4a1ce (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/poly.sml.orig Sun Jan 13 18:42:52 2008
+++ src/poly.sml Sun Jan 13 18:42:35 2008
@@ -20,7 +20,7 @@
(* from Isabelle --- to be used in Makefiles *)
fun exportML{init:unit->unit,
banner:string,
- imagefile:string} = (PolyML.commit();())
+ imagefile:string} = (PolyML.SaveState.saveState imagefile)
(* runs only very rudimentarily . . . *)
fun setPrintDepth x = ();
|
