From 4c6971dff61bf1f7862c3061e482692e67c473fd Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 30 Apr 2024 15:45:41 +0200
Subject: [PATCH] [wp] add location for warn msg
---
src/plugins/wp/cfgGenerator.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/wp/cfgGenerator.ml b/src/plugins/wp/cfgGenerator.ml
index 976f7d37e52..bf683b0c973 100644
--- a/src/plugins/wp/cfgGenerator.ml
+++ b/src/plugins/wp/cfgGenerator.ml
@@ -119,7 +119,8 @@ let add_fun_task model pool ~kf ?infos ?bhvs ?target () =
end
let notyet prop =
- Wp_parameters.warning ~once:true
+ let source = fst (Property.location prop) in
+ Wp_parameters.warning ~once:true ~source
"Not yet implemented wp for '%a'" Property.pretty prop
(* -------------------------------------------------------------------------- *)
--
GitLab