summaryrefslogtreecommitdiff
path: root/lib/ur/top.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/top.urs')
-rw-r--r--lib/ur/top.urs2
1 files changed, 1 insertions, 1 deletions
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 *)