From 630a7a205977e4dbf7b213899e3b98fe92d0c58c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Tue, 5 Jan 2016 12:07:56 +0100
Subject: [PATCH] change constPath to avoid strange bug

---
 CTT.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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")
 
 
 --------------------------------------------------------------------------------
-- 
2.34.1