diff --git a/gibbon-compiler/src/Gibbon/Passes/AddRAN.hs b/gibbon-compiler/src/Gibbon/Passes/AddRAN.hs index 522590cd3..6340436dd 100644 --- a/gibbon-compiler/src/Gibbon/Passes/AddRAN.hs +++ b/gibbon-compiler/src/Gibbon/Passes/AddRAN.hs @@ -582,5 +582,7 @@ genRelOffsetsFunNameFn needRANsTyCons ddfs DDef{tyName, dataCons} = do , funMeta = FunMeta { funRec = Rec , funInline = NoInline , funCanTriggerGC = False + , funOptLayout=NoLayoutOpt + , userConstraintsDataCon=Nothing } }