diff --git a/src/plugins/eva/api/values_request.ml b/src/plugins/eva/api/values_request.ml
index 93040df685bec0cb5ef89dbe23a4d246b2dc2113..2796bb32d74c78859577b23acff2ff7e5326af58 100644
--- a/src/plugins/eva/api/values_request.ml
+++ b/src/plugins/eva/api/values_request.ml
@@ -109,7 +109,8 @@ let probe_code_annot = function
 
 let probe_property = function
   | Property.IPCodeAnnot ica -> probe_code_annot ica.ica_ca.annot_content
-  | IPPropertyInstance { ii_pred = Some pred } ->
+  | IPPropertyInstance { ii_pred = Some pred }
+  | IPPredicate {ip_pred = pred} ->
     Ppred (Logic_const.pred_of_id_pred pred)
   | _ -> raise Not_found