From 02ed958938e9d0cdf4dd12d79965ed060a48d351 Mon Sep 17 00:00:00 2001
From: vgross
Date: Tue, 23 Mar 2010 11:13:19 +0000
Subject: debugging

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

diff --git a/ide/coq.ml b/ide/coq.ml
index 0b4d13570c..ac978e4cfa 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -345,7 +345,7 @@ let compute_reset_info loc_ast =
            | Some sp -> 
                prerr_endline ("On top of state "^Libnames.string_of_path (fst sp));
                ResetAtMark sp,None
-           | None -> NoReset,None)
+           | None -> prerr_endline "No top state"; (NoReset,None))
   in
   { status = status;
     proofs = Pfedit.get_all_proof_names ();
@@ -411,8 +411,8 @@ let rewind count =
           (Util.list_subtract current_proofs prev_proofs);
         prerr_endline "OK for aborts";
         (match reset_op with
-          | NoReset -> ()
-          | ResetAtMark m -> Lib.reset_to_state m 
+          | NoReset -> prerr_endline "No Reset"
+          | ResetAtMark m -> (prerr_endline ("Reset at "^(Libnames.string_of_path (fst m))); Lib.reset_to_state m)
           | ResetToNextMark -> assert false);
         prerr_endline "OK for reset"
       end
-- 
cgit v1.2.3