From 8d6870717691d2ba46e518c8d1687236019368d1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 29 Dec 2011 14:12:03 -0500
Subject: Rename [Top.id] to avoid clash with [Basis.id]

---
 lib/ur/top.urs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/ur/top.urs')

diff --git a/lib/ur/top.urs b/lib/ur/top.urs
index 75d85fcd..489e744d 100644
--- a/lib/ur/top.urs
+++ b/lib/ur/top.urs
@@ -22,7 +22,7 @@ end
 val not : bool -> bool
 
 (* Type-level identity function *)
-con id = K ==> fn t :: K => t
+con ident = K ==> fn t :: K => t
 
 (* Type-level function which yields the value-level record
    described by the given type-level record *)
-- 
cgit v1.2.3