# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1436049892 14400
# Node ID 9029e0e2c67c4d46b1faa012bda09c479facb463
# Parent  b90103106177a405f6580ac6561c764a92806de8
Stray character in a comment

diff -r b90103106177 -r 9029e0e2c67c lib/ur/top.urs
--- a/lib/ur/top.urs	Fri Jul 03 17:25:56 2015 -0400
+++ b/lib/ur/top.urs	Sat Jul 04 18:44:52 2015 -0400
@@ -35,7 +35,7 @@
 con thd3 = K1 ==> K2 ==> K3 ==> fn t :: (K1 * K2 * K3) => t.3
 
 (* Convert a record of n Units into a type-level record where
-o   each field has the same value (which describes a uniformly
+   each field has the same value (which describes a uniformly
    typed record) *)
 con mapU = K ==> fn f :: K => map (fn _ :: Unit => f)