From ac231173ed5739ff3906aa6e053b50cf8239cd5c Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Sat, 28 Mar 2026 19:36:50 -0700
Subject: [PATCH] lit case was accidentally removed

---
 src/Lib/Elab.newt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Lib/Elab.newt b/src/Lib/Elab.newt
index b32fb41..16c45ef 100644
--- a/src/Lib/Elab.newt
+++ b/src/Lib/Elab.newt
@@ -343,6 +343,7 @@ rename meta ren lvl (VPi fc n icit rig ty tm) = do
   pure (Pi fc n icit rig ty' scope')
 rename meta ren lvl (VU fc) = pure (UU fc)
 rename meta ren lvl (VErased fc) = pure (Erased fc)
+rename meta ren lvl (VLit fc lit) = pure (Lit fc lit)
 -- for now, we don't do solutions with case, let, letrec in them
 -- If we we need this, follow the model of VLam
 rename meta ren lvl tm = error (getFC tm) "Unhandled term in `rename`: \{show tm}"