From cc24f42e9107d8c42d2cacb2d216da96da075845 Mon Sep 17 00:00:00 2001
From: Yiyun Liu <liuyiyun@seas.upenn.edu>
Date: Fri, 30 May 2025 16:43:54 -0400
Subject: [PATCH] Minor

---
 nbe.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nbe.rkt b/nbe.rkt
index 9c6701d..cf227be 100644
--- a/nbe.rkt
+++ b/nbe.rkt
@@ -21,7 +21,7 @@
                      'zero
                      'nat
                      (List 'λ Norm)
-                     (List 'U V)
+                     'U
                      (List 'succ Norm)
                      (List 'Π Norm Norm)))