diff options
Diffstat (limited to 'lib/ur')
| -rw-r--r-- | lib/ur/string.ur | 2 |
1 files changed, 1 insertions, 1 deletions
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> |