diff --git a/src/plugins/wp/cfgGenerator.ml b/src/plugins/wp/cfgGenerator.ml
index 976f7d37e520be329f397821a2ef8570aba3ef88..bf683b0c97377bf8b756add8cfb2ea6fb62b72b1 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
 
 (* -------------------------------------------------------------------------- *)