From 12ea9fd689278f0f8ca6ccca785a7e45b9ef5867 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 27 Feb 2023 15:26:35 +0100
Subject: [PATCH] fix: during exhaustive searches, force a 0 potential for
 legit conf

---
 lib/sasacore/exhaustSearch.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/sasacore/exhaustSearch.ml b/lib/sasacore/exhaustSearch.ml
index db1918f7..625ea810 100644
--- a/lib/sasacore/exhaustSearch.ml
+++ b/lib/sasacore/exhaustSearch.ml
@@ -1,4 +1,4 @@
-(* 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
 
-- 
GitLab