diff --git a/src/SAVer.ml b/src/saver.ml
similarity index 100%
rename from src/SAVer.ml
rename to src/saver.ml
diff --git a/src/SAVer.mli b/src/saver.mli
similarity index 100%
rename from src/SAVer.mli
rename to src/saver.mli
diff --git a/src/verification.ml b/src/verification.ml
index f6c702231042657927c1e5fd999917fe4b20a7c4..f02325fce7629d6b81f7974d02a6c05623096b34 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -112,7 +112,7 @@ let answer_saver limit config env config_prover dataset task =
     in
     Dataset.interpret_predicate env ~on_model ~on_dataset task
   in
-  let answer = SAVer.call_prover limit config config_prover dataset_predicate in
+  let answer = Saver.call_prover limit config config_prover dataset_predicate in
   match answer.prover_answer with
   | Call_provers.Unknown "" ->
     let additional_info = Fmt.str "%d/%d" answer.nb_proved answer.nb_total in