diff --git a/examples/categorifier-c-examples.cabal b/examples/categorifier-c-examples.cabal
index f108f9f..10e0ed0 100644
--- 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