Fix for bilby verification (partly reverting 4c2d7f0)

This possibly breaks stuff: this change certainly had a purpose?
au-ts · Jun 9, 2021 · 971d9fd · 971d9fd
1 parent f7d0941
commit 971d9fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cogent/src/Cogent/C/Expr.hs b/cogent/src/Cogent/C/Expr.hs
@@ -281,7 +281,7 @@ maybeDecl (Just v) t = return (v,[],[])
 
 -- If assigned to a new var, then recycle
 aNewVar :: CType -> CExpr -> VarPool -> Gen v (CExpr, [CBlockItem], [CBlockItem], VarPool)
-aNewVar t e p | not __cogent_simpl_cg && not (isTrivialCExpr e)
+aNewVar t e p | __cogent_simpl_cg && not (isTrivialCExpr e)
   = (extTup3r M.empty) . (first3 variable) <$> declareInit t e p
               | otherwise = return (e,[],[],p)