Skip to content
Snippets Groups Projects
Commit 12ea9fd6 authored by erwan's avatar erwan
Browse files

fix: during exhaustive searches, force a 0 potential for legit conf

parent c779951d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
lib/sasacore/exhaustSearch.ml
+ 1
− 1
View file @ 12ea9fd6
(* Time-stamp: <modified the 16/02/2023 (at 09:23) by Erwan Jahier> *) (* Time-stamp: <modified the 27/02/2023 (at 15:25) by Erwan Jahier> *)
open LocalSearch open LocalSearch
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment