From 053d8063a82399718be8a4290e75353eaeb694ce Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 31 Mar 2022 11:01:13 +0200
Subject: [PATCH] Fix compilation in presence of module shadowing.
---
src/verification.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/verification.ml b/src/verification.ml
index a5073ea8..8a6539c1 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)
--
GitLab