From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Thu, 7 Jan 2016 17:02:27 +0000 (+0100)
Subject: "_" in constPath again
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=bf356c00574da7044b522932c5c9991719e0b3bd;p=cubicaltt.git

"_" in constPath again
---

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