diff --git a/src/plugins/eva/api/values_request.ml b/src/plugins/eva/api/values_request.ml
index 7a547dec3522e379e1ef6e2d3de5ef83d35bb237..54e52cc471aa8b9eb17a399fb927aff66dfbe4e2 100644
--- a/src/plugins/eva/api/values_request.ml
+++ b/src/plugins/eva/api/values_request.ml
@@ -115,7 +115,8 @@ let probe_property = function
   | _ -> raise Not_found
 
 let probe_marker = function
-  | Printer_tag.PLval (_, _, (Var vi, NoOffset))
+  | Printer_tag.PLval (_, _, lval)
+    when Cil.(isFunctionType (typeOfLval lval)) -> raise Not_found
   | PVDecl (_, _, vi) when Cil.isFunctionType vi.vtype -> raise Not_found
   | PLval (_, _, l) -> Plval l
   | PExp (_, _, e) -> Pexpr e