From 2f081d1766e8ef3b5a6d55cc9d1828c55df12249 Mon Sep 17 00:00:00 2001
From: Kilyan Le Gallic <kilyan.legallic@cea.fr>
Date: Thu, 21 Mar 2024 15:34:29 +0100
Subject: [PATCH] [wp] Added not found theory name in case of LibraryNotFound
exception handling
---
src/plugins/wp/Why3Import.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/Why3Import.ml b/src/plugins/wp/Why3Import.ml
index 7ee024fab10..d48607a55be 100644
--- a/src/plugins/wp/Why3Import.ml
+++ b/src/plugins/wp/Why3Import.ml
@@ -52,7 +52,7 @@ let open_theory (env) (theories) =
W.Pretty.print_theory Format.std_formatter theory;
with W.Env.LibraryNotFound paths ->
- L.debug ~level:0 "Library not found at %s " (String.concat "." paths);
+ L.debug ~level:0 "Library %s not found at %s " thy_n (String.concat "." paths);
) (extract_last_segments theories)
--
GitLab