diff options
| -rw-r--r-- | backend/Duplicateaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 636a8d8e..209527b9 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -213,7 +213,7 @@ let get_directions code entrypoint = | None -> preferred := do_heur code cond ifso ifnot is_loop_header | Some _ -> () ) heuristics; - match !preferred with None -> preferred := Some (Random.bool ()) | Some _ -> (); + (match !preferred with None -> preferred := Some (Random.bool ()) | Some _ -> ()); directions := PTree.set n (get_some !preferred) !directions end | _ -> () |