change constPath to avoid strange bug

diff --git a/CTT.hs b/CTT.hs
index 6bb0f60f574cfbaa6ce222920feb8391b7c71cc1..240e28161ed74fbc2d99e27a3673e3aa61fe361b 100644 (file)
--- 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")
 
 
 --------------------------------------------------------------------------------