remove dbg message

iu-parfunc · Jan 22, 2024 · d59bf09 · d59bf09
1 parent 3940da9
commit d59bf09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gibbon-compiler/src/Gibbon/Passes/OptimizeADTLayout.hs b/gibbon-compiler/src/Gibbon/Passes/OptimizeADTLayout.hs
@@ -285,7 +285,7 @@ globallyOptimizeDataConLayout useGreedy prg@Prog{ddefs, fundefs, mainExp} = do
                                                   in (funList, dcon, mergedConstraints)
                         ) funsToOptimizeTriple'
 
-  let solverOptimization = dbgTraceIt (sdoc funsToOptimizeTripleSolver)
+  let solverOptimization = {-dbgTraceIt (sdoc funsToOptimizeTripleSolver)-}
               (\(f@FunDef{funName=fname}, (dcon, newSymDcon), constrs) pr@Prog{ddefs=dd, fundefs=fds, mainExp=mexp} -> do 
                       let maybeFd = M.lookup fname fds
                       let fd = case maybeFd of