From bf356c00574da7044b522932c5c9991719e0b3bd Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Thu, 7 Jan 2016 18:02:27 +0100
Subject: [PATCH] "_" in constPath again

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

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