From ba9bf0ee2bbc5ffcfd36d8cf24ac06c73090d9d4 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Tue, 24 Mar 2015 20:13:42 -0400
Subject: [PATCH] Fixed some broken comments

---
 redex-curnel.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/redex-curnel.rkt b/redex-curnel.rkt
index be89387..7d5aaf1 100644
--- a/redex-curnel.rkt
+++ b/redex-curnel.rkt
@@ -50,8 +50,7 @@
     (check-true (t? (term (λ (x_0 : (Unv 0)) x_0)))))
 
   ;; 'A'
-  ;; (Unv 0)s of Universes
-  ;; Replace with sub-typing
+  ;; Types of Universes
   (define-judgment-form cicL
     #:mode (unv-ok I O)
     #:contract (unv-ok U U)