diff options
Diffstat (limited to 'parsing/egrammar.ml')
| -rw-r--r-- | parsing/egrammar.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/parsing/egrammar.ml b/parsing/egrammar.ml index 60848fdfd0..88c8211670 100644 --- a/parsing/egrammar.ml +++ b/parsing/egrammar.ml @@ -295,6 +295,9 @@ let subst_constr_expr a loc subs = let na = name_app (subst_id subs) na in let nal = List.map (name_app (subst_id subs)) nal in CLetTuple (loc,nal,(na,option_app subst po),subst a,subst b) + | CIf (_,c,(na,po),b1,b2) -> + let na = name_app (subst_id subs) na in + CIf (loc,subst c,(na,option_app subst po),subst b1,subst b2) | CFix (_,id,dl) -> CFix (loc,id,List.map (fun (id,n,t,d) -> (id,n,subst t,subst d)) dl) | CCoFix (_,id,dl) -> |