From d9547346601c052bfe91bdec68970f49396d82fb Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Mon, 18 Dec 2023 15:42:41 -0700
Subject: [PATCH] LitE -> Lit

---
 tst/Arith.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tst/Arith.hs b/tst/Arith.hs
index ea91311..700849b 100644
--- a/tst/Arith.hs
+++ b/tst/Arith.hs
@@ -76,7 +76,7 @@ toCore expr = Program
         ]
     where
         go :: ArithExpr -> Expr'
-        go (IntA n)    = LitE (IntL n)
+        go (IntA n)    = Lit (IntL n)
         go (NegateA e) = "negate#" :$ go e
         go (IdA e)     = "id" :$ go e
         go (a :+ b)    = f "+#" a b