diff --git a/frontends/RainPasses.hs b/frontends/RainPasses.hs index c65cef5..b6219d7 100644 --- a/frontends/RainPasses.hs +++ b/frontends/RainPasses.hs @@ -300,7 +300,6 @@ excludeNonRainFeatures = excludeConstr ,con2 A.Counted ,con0 A.Timer ,con1 A.Port - ,con3 A.IntrinsicFunctionCall ,con2 A.BytesInExpr ,con2 A.BytesInType ,con3 A.OffsetOf