Fix compilation in presence of module shadowing.

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)