From 162fc39bcc36953402d668b5d7ac7b88c9966461 Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 2 Dec 1999 16:43:08 +0000
Subject: modifs pour premiere edition de liens

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@189 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/states.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'library/states.ml')

diff --git a/library/states.ml b/library/states.ml
index d8fed1437..be1241a9a 100644
--- a/library/states.ml
+++ b/library/states.ml
@@ -23,6 +23,9 @@ let (extern_state,intern_state) =
 
 (* Rollback. *)
 
+let freeze = get_state
+let unfreeze = set_state
+
 let with_heavy_rollback f x =
   let sum = freeze_summaries ()
   and flib = freeze() in
-- 
cgit v1.2.3