Skip to content
Snippets Groups Projects
Commit 2a9cd45e authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] letify lookup v-subst

parent ea345863
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/Letify.ml
+ 1
− 1
View file @ 2a9cd45e
...@@ -271,7 +271,7 @@ struct ...@@ -271,7 +271,7 @@ struct
| None -> | None ->
let s = Lang.sigma () in let s = Lang.sigma () in
F.Subst.add_fun s (lookup sigma.def) ; 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) ; F.Subst.add_filter s (filter sigma.dall) ;
sigma.cache <- Some s ; s sigma.cache <- Some s ; s
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment