diff options
Diffstat (limited to 'compiler/types/OptCoercion.hs')
-rw-r--r-- | compiler/types/OptCoercion.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/OptCoercion.hs b/compiler/types/OptCoercion.hs index ca67bc7274..a7dadf39e0 100644 --- a/compiler/types/OptCoercion.hs +++ b/compiler/types/OptCoercion.hs @@ -301,7 +301,7 @@ opt_co4 env sym rep r (CoherenceCo co1 co2) else opt_trans in_scope (mkCoherenceCo col1' co2') cor1' | otherwise - = wrapSym sym $ CoherenceCo (opt_co4_wrap env False rep r co1) co2' + = wrapSym sym $ mkCoherenceCo (opt_co4_wrap env False rep r co1) co2' where co1' = opt_co4_wrap env sym rep r co1 co2' = opt_co4_wrap env False False Nominal co2 in_scope = lcInScopeSet env |