From 2e66f64cd04509287f9984902cb2133dc74f26c2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Tue, 5 Jan 2016 12:07:45 +0100
Subject: [PATCH] comment

---
 Eval.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Eval.hs b/Eval.hs
index 6afdc2c..5ba6899 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -664,6 +664,9 @@ lemEq eq b aps = (a,VPath i (compNeg j (eq @@ j) p1 ths))
                    (mkSystem [ (i~>0,transFill j eqaj ba),(i~>1,transFillNeg j eqaj aa)])) aps
    
 -- Old version:
+-- This version triggers the following error when checking the normal form of corrUniv:
+-- Parsed "examples/nunivalence2.ctt" successfully!
+-- Resolver failed: Cannot resolve name !3 at position (7,30062) in module nunivalence2
 -- compU :: Name -> Val -> System Val -> Val -> System Val -> Val
 -- compU i b es wi0 ws = glueElem vi1'' usi1''
 --   where bi1 = b `face` (i ~> 1)
-- 
2.34.1