diff options
Diffstat (limited to 'debugger/time_travel.ml')
-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 4d3252fb19..83cf23f40e 100644 --- a/debugger/time_travel.ml +++ b/debugger/time_travel.ml @@ -181,7 +181,7 @@ let new_checkpoint_list checkpoint_count accepted rejected = let (k, l) = list_truncate2 (checkpoint_count - List.length accepted) rejected in - (List.merge (fun {c_time = t1} {c_time = t2} -> compare t2 t1) accepted k, + (List.merge (fun t1 t2 -> compare t2.c_time t1.c_time) accepted k, l) (* Clean the checkpoint list. *) |