From 9952eb02796f36fda2e866761999f803721546bc Mon Sep 17 00:00:00 2001
From: Samuel Hammersberg <samuel.hammersberg@gmail.com>
Date: Sun, 26 Mar 2023 21:10:20 +0200
Subject: [PATCH] Fixed the printing of TypeCheckerIr

---
 src/TypeChecker/TypeCheckerIr.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TypeChecker/TypeCheckerIr.hs b/src/TypeChecker/TypeCheckerIr.hs
index f2419d5..74dc649 100644
--- a/src/TypeChecker/TypeCheckerIr.hs
+++ b/src/TypeChecker/TypeCheckerIr.hs
@@ -86,7 +86,7 @@ data Bind = Bind Id [Id] ExpT
     deriving (C.Eq, C.Ord, C.Show, C.Read)
 
 instance Print Ident where
-    prt _ (Ident str) = prt 0 str
+    prt _ (Ident str) = doc . showString $ str
 
 instance Print [Def] where
     prt _ [] = concatD []