diff --git a/src/verification.ml b/src/verification.ml
index a5073ea81f6e7f523dbfa646634ec79ddb83320e..8a6539c13aa7eb2e28958a18821ee5eb7df11705 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -55,7 +55,7 @@ let call_prover ~limit config (prover : Why3.Whyconf.config_prover) driver task
     | None -> invalid_arg (Fmt.str "No neural network model found in task")
   in
   let nn_file = Unix.realpath nn_file in
-  let command = Re.replace_string nnet_or_onnx ~by:nn_file command in
+  let command = Re__Core.replace_string nnet_or_onnx ~by:nn_file command in
   let call_prover_on_task task_prepared =
     let prover_call =
       Driver.prove_task_prepared ~libdir:(Whyconf.libdir config)