diff options
| author | vgross | 2010-03-23 11:13:19 +0000 |
|---|---|---|
| committer | vgross | 2010-03-23 11:13:19 +0000 |
| commit | 02ed958938e9d0cdf4dd12d79965ed060a48d351 (patch) | |
| tree | 4264e912121913a6edd63ff664ee92c5a0196511 /ide | |
| parent | 159dd349bb6685c7e142ab388e3e1e8de04035b5 (diff) | |
debugging
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12875 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 6 |
1 files 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 |