diff --git a/lib/sasacore/exhaustSearch.ml b/lib/sasacore/exhaustSearch.ml
index db1918f7aa46f761b448e3ef247a1adb75fb6d60..625ea810c43eb48ae413a0451d36cb95d88db111 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