diff --git a/app/Commands/Compile/Anoma.hs b/app/Commands/Compile/Anoma.hs
index 3a0547bdd5..5b0086158e 100644
--- a/app/Commands/Compile/Anoma.hs
+++ b/app/Commands/Compile/Anoma.hs
@@ -23,11 +23,11 @@ runCommand opts = do
       $ coreRes
         ^. coreResultModule
   res <- getRight r
-  outputAnomaResult nockmaFile res
+  outputAnomaResult (opts' ^. compileDebug) nockmaFile res
 
-outputAnomaResult :: (Members '[EmbedIO, App] r) => Path Abs File -> Nockma.AnomaResult -> Sem r ()
-outputAnomaResult nockmaFile Nockma.AnomaResult {..} = do
+outputAnomaResult :: (Members '[EmbedIO, App] r) => Bool -> Path Abs File -> Nockma.AnomaResult -> Sem r ()
+outputAnomaResult debugOutput nockmaFile Nockma.AnomaResult {..} = do
   let code = Nockma.ppSerialize _anomaClosure
-      prettyNockmaFile = replaceExtensions' [".pretty", ".nockma"] nockmaFile
+      prettyNockmaFile = replaceExtensions' [".debug", ".nockma"] nockmaFile
   writeFileEnsureLn nockmaFile code
-  writeFileEnsureLn prettyNockmaFile (Nockma.ppPrint _anomaClosure)
+  when debugOutput (writeFileEnsureLn prettyNockmaFile (Nockma.ppPrint _anomaClosure))