remove debug flags

con-kitty · Jun 11, 2022 · 0b9ad84 · 0b9ad84
1 parent 080a640
commit 0b9ad84
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/examples/categorifier-c-examples.cabal b/examples/categorifier-c-examples.cabal
@@ -87,10 +87,6 @@ executable separate-categorification
       G
   ghc-options:
       -O0
-      -fforce-recomp
-      -ddump-simpl
-      -ddump-splices
-      -dsuppress-all
       -fexpose-all-unfoldings
       -fmax-simplifier-iterations=0
       -fno-ignore-interface-pragmas