From 2a9cd45ef164b598cd36b7c276ca325f5712982d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 18 Nov 2021 08:48:48 +0100
Subject: [PATCH] [wp] letify lookup v-subst
---
src/plugins/wp/Letify.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/Letify.ml b/src/plugins/wp/Letify.ml
index 5d26dea8e0d..8ed7a228727 100644
--- a/src/plugins/wp/Letify.ml
+++ b/src/plugins/wp/Letify.ml
@@ -271,7 +271,7 @@ struct
| None ->
let s = Lang.sigma () in
F.Subst.add_fun s (lookup sigma.def) ;
- F.Subst.add_map s sigma.cst ;
+ F.Subst.add_fun s (fun e -> Tmap.find e sigma.cst) ;
F.Subst.add_filter s (filter sigma.dall) ;
sigma.cache <- Some s ; s
--
GitLab