Update Options.hs

anoma · Mar 30, 2023 · 04cee33 · 04cee33
1 parent a2fa41d
commit 04cee33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Juvix/Compiler/Core/Pretty/Options.hs b/src/Juvix/Compiler/Core/Pretty/Options.hs
@@ -23,7 +23,7 @@ traceOptions =
   Options
     { _optShowIdentIds = False,
       _optShowDeBruijnIndices = True,
-      _optShowArgsNum = False
+      _optShowArgsNum = True
     }
 
 fromGenericOptions :: GenericOptions -> Options