From ce0c536b4430711db1e30cd7ac35ae8d71d34e64 Mon Sep 17 00:00:00 2001
From: Alec Faithfull <alef@itu.dk>
Date: Tue, 6 Oct 2015 13:58:50 +0200
Subject: STM: Added functions for saving and restoring the internal state

PIDEtop needs these to implement its new transaction mechanism
---
 stm/stm.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'stm/stm.mli')

diff --git a/stm/stm.mli b/stm/stm.mli
index 2453f258c..18ed6fc2e 100644
--- a/stm/stm.mli
+++ b/stm/stm.mli
@@ -83,6 +83,10 @@ val set_compilation_hints : string -> unit
 (* Reorders the task queue putting forward what is in the perspective *)
 val set_perspective : Stateid.t list -> unit
 
+type document
+val backup : unit -> document
+val restore : document -> unit
+
 (** workers **************************************************************** **)
 
 module ProofTask : AsyncTaskQueue.Task
-- 
cgit v1.2.3