diff --git a/test/sasa-rdbg-cmds.ml b/test/sasa-rdbg-cmds.ml index b78cbb52da571eb8df5d3903bdce2e958c993bc3..d01cf93c08c755fe591f5352ce0c33e057b38b10 100644 --- a/test/sasa-rdbg-cmds.ml +++ b/test/sasa-rdbg-cmds.ml @@ -10,7 +10,7 @@ Look at the sasa/test/*/my-rdbg-commands.ml files for examples (* Dealing with rounds *) let roundnb = ref 1 let roundtbl = Hashtbl.create 1;; - +let _ = Hashtbl.add roundtbl 1 (1,true);; (**********************************************************************) @@ -133,7 +133,7 @@ let (round : RdbgEvent.t -> bool) = let update_round_nb e = match Hashtbl.find_opt roundtbl e.nb with - | None -> roundnb := 1 + | None -> () | Some (n,_) -> roundnb := n (* go to next and previous rounds *)