--- a/src/Pure/PIDE/session.ML Mon Feb 29 15:39:17 2016 +0100
+++ b/src/Pure/PIDE/session.ML Mon Feb 29 16:12:47 2016 +0100
@@ -13,7 +13,6 @@
(Path.T * Path.T) list -> Path.T -> string -> string * string -> bool -> unit
val shutdown: unit -> unit
val finish: unit -> unit
- val save: string -> unit
val protocol_handler: string -> unit
val init_protocol_handlers: unit -> unit
end;
@@ -75,11 +74,6 @@
(Thy_Info.get_names ()) Keyword.empty_keywords;
session_finished := true);
-fun save heap =
- (shutdown ();
- ML_Heap.share_common_data ();
- ML_Heap.save_state heap);
-
(** protocol handlers **)