From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Tue, 5 Jan 2016 11:07:56 +0000 (+0100)
Subject: change constPath to avoid strange bug
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=630a7a205977e4dbf7b213899e3b98fe92d0c58c;p=cubicaltt.git

change constPath to avoid strange bug
---

diff --git a/CTT.hs b/CTT.hs
index 6bb0f60..240e281 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -204,7 +204,7 @@ isCon _      = False
 
 -- Constant path: <_> v
 constPath :: Val -> Val
-constPath = VPath (Name "_")
+constPath = VPath (Name "i")
 
 
 --------------------------------------------------------------------------------