diff --git a/src/plugins/value/utils/eva_annotations.ml b/src/plugins/value/utils/eva_annotations.ml
index 9080f611f272942d6007cb88310c94b6b0405097..448f89f6bdedf25d89fefd9a0c6ab81f42d661b3 100644
--- a/src/plugins/value/utils/eva_annotations.ml
+++ b/src/plugins/value/utils/eva_annotations.ml
@@ -414,6 +414,11 @@ module DomainScope = Register (struct
           begin match context.Logic_typing.find_var v with
             | {lv_origin=Some vi} -> vi
             | _ -> raise Parse_error
+            | exception Not_found ->
+              Kernel.warning ~wkey:Kernel.wkey_annot_error
+                ~once:true ~current:true
+                "cannot find variable %s at this point" v;
+              raise Parse_error
           end
         | _ -> raise Parse_error
       in