From c4f28c48eb4ea1ab825c2d97086c84553c7cc3db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 3 Dec 2024 15:02:11 +0100
Subject: [PATCH] [eva] fix invalid arg
---
src/plugins/eva/utils/export.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index bcd9a85c895..321293e8536 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 }
--
GitLab