From f17fa1daa613a4f86e6bdbf51ed7e758f158f938 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 25 Feb 2015 16:25:20 +0100
Subject: STM: proof state also includes meta counters

Workers send back incomplete system states (only the proof part).
Such part must include the meta/evar counter.
---
 library/states.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'library/states.mli')

diff --git a/library/states.mli b/library/states.mli
index 66de14909..4d5d63e03 100644
--- a/library/states.mli
+++ b/library/states.mli
@@ -21,6 +21,7 @@ val freeze : marshallable:Summary.marshallable -> state
 val unfreeze : state -> unit
 
 val summary_of_state : state -> Summary.frozen
+val replace_summary : state -> Summary.frozen -> state
 
 (** {6 Rollback } *)
 
-- 
cgit v1.2.3