From 3944b599134b89f12f24ae3f52d21f954463c765 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 10 Oct 2010 15:37:14 -0400
Subject: Tweaking unification fix to apply to demo/more

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

(limited to 'lib/ur/string.ur')

diff --git a/lib/ur/string.ur b/lib/ur/string.ur
index f7781e01..6a269373 100644
--- a/lib/ur/string.ur
+++ b/lib/ur/string.ur
@@ -57,7 +57,7 @@ fun mp f s =
         mp' (length s - 1) ""
     end
 
-fun newlines [ctx] [[Body] ~ ctx] s : xml ([Body] ++ ctx) [] [] =
+fun newlines [ctx] [[Body] ~ ctx] (s : string) : xml ([Body] ++ ctx) [] [] =
     case split s #"\n" of
         None => cdata s
       | Some (s1, s2) => <xml>{[s1]}<br/>{newlines s2}</xml>
-- 
cgit v1.2.3