From 04cee338368d107f1639e103775b24ab596426a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Thu, 30 Mar 2023 11:27:39 +0200
Subject: [PATCH] Update Options.hs

---
 src/Juvix/Compiler/Core/Pretty/Options.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Juvix/Compiler/Core/Pretty/Options.hs b/src/Juvix/Compiler/Core/Pretty/Options.hs
index b57ac6c9e7..9ba70d57ce 100644
--- 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