diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-11-29 14:49:24 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-11-29 14:49:24 +0000 |
| commit | 529659e9f4141bc1723632634a8ac502ea1fea4a (patch) | |
| tree | a09067fac951a1ad2a4e5ab62a542aa43cc9c667 /debugger | |
| parent | 0edba97cf60152a7e8285db5d41857287fae9014 (diff) | |
| download | ocaml-529659e9f4141bc1723632634a8ac502ea1fea4a.tar.gz | |
suppression unused var
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6708 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger')
| -rw-r--r-- | debugger/time_travel.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/time_travel.ml b/debugger/time_travel.ml index 8ae3e219ad..e4a03af6f8 100644 --- a/debugger/time_travel.ml +++ b/debugger/time_travel.ml @@ -465,7 +465,7 @@ let rec find_last_breakpoint max_time = (* --- Assume 0 <= time < time_max *) let rec back_to time time_max = let - {c_time = t} as checkpoint = find_checkpoint_before (pre64 time_max) + {c_time = t} = find_checkpoint_before (pre64 time_max) in go_to (max time t); let (new_time, break) = find_last_breakpoint time_max in |