diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index bcd9a85c8957ea2847f9dcdae767fd8c155105e9..321293e853662f17e86a5d96269d39dd02756e0f 100644
--- a/src/plugins/eva/utils/export.ml
+++ b/src/plugins/eva/utils/export.ml
@@ -72,7 +72,7 @@ let predicate ~loc ?(name=[]) (p : pred) : predicate =
       let ts = List.map (Exp.cil_term ~loc) es in
       let ls = Logic_env.find_all_logic_functions f in
       match List.find_opt (matches_params ts) ls with
-      | None -> invalid_arg "Eva.Export.predicate"
+      | None -> Self.fatal "[Export] Unknown predicate '%s'" f
       | Some li -> Logic_const.papp ~loc (li,[],ts)
   in { (aux p) with pred_name = name }