From f279b75b83f727c44c7fa0e6951c6c061d72c640 Mon Sep 17 00:00:00 2001
From: lmamane
Date: Tue, 15 Jan 2008 16:37:46 +0000
Subject: Fix backtracking bugs:  - When the undo stack overflows, backtrack
 within a proof goes to    wrong state  - Boundary checks before undoing
 (popping the stack) wrong

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10441 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/bstack.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/bstack.mli')

diff --git a/lib/bstack.mli b/lib/bstack.mli
index 0a0a26ce8f..cef8e1d9e5 100644
--- a/lib/bstack.mli
+++ b/lib/bstack.mli
@@ -19,3 +19,4 @@ val app_repl : 'a t -> ('a -> 'a) -> unit
 val pop : 'a t -> unit
 val top : 'a t -> 'a
 val depth : 'a t -> int
+val size : 'a t -> int
-- 
cgit v1.2.3