# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1402489874 14400
# Node ID 1a4b2b983889903221ce6e5625b21d151413a8ca
# Parent  2da693675de9624aba76ac1ec97a3e5cec59148b
Change String to avoid Char dependency

diff -r 2da693675de9 -r 1a4b2b983889 lib/ur/string.ur
--- a/lib/ur/string.ur	Tue Jun 10 10:58:22 2014 -0400
+++ b/lib/ur/string.ur	Wed Jun 11 08:31:14 2014 -0400
@@ -92,13 +92,13 @@
         val len = length s
 
         fun findStart i =
-            if i < len && Char.isSpace (sub s i) then
+            if i < len && isspace (sub s i) then
                 findStart (i+1)
             else
                 i
 
         fun findFinish i =
-            if i >= 0 && Char.isSpace (sub s i) then
+            if i >= 0 && isspace (sub s i) then
                 findFinish (i-1)
             else
                 i