From 5ce723d90321dc66f9274362a36e1ba8b4c324c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 18 Nov 2021 09:14:20 +0100
Subject: [PATCH] [wp] direct lookup in ConstantFolder
---
src/plugins/wp/Conditions.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/Conditions.ml b/src/plugins/wp/Conditions.ml
index 6f74f1dcde9..51be9bba036 100644
--- a/src/plugins/wp/Conditions.ml
+++ b/src/plugins/wp/Conditions.ml
@@ -1056,7 +1056,7 @@ struct
| Some m -> m
| None ->
let m = Lang.sigma () in
- F.Subst.add_map m s.def ;
+ F.Subst.add_fun m (fun e -> Tmap.find e s.def) ;
s.cache <- Some m ; m
let e_apply s e = F.e_subst (subst s) e
--
GitLab