diff options
| -rw-r--r-- | translate/ppconstrnew.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/translate/ppconstrnew.ml b/translate/ppconstrnew.ml index 2825344e45..753ac89ddf 100644 --- a/translate/ppconstrnew.ml +++ b/translate/ppconstrnew.ml @@ -626,8 +626,8 @@ let rec strip_context n iscast t = let transf istype env iscast bl c = let c' = - if istype then abstract_constr_expr c bl - else prod_constr_expr c bl in + if istype then prod_constr_expr c bl + else abstract_constr_expr c bl in if Options.do_translate() then let r = Constrintern.for_grammar |