From fb7713fd8543d1a42357d045d14909ba233151e0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 11 Jun 2014 08:31:14 -0400
Subject: Change String to avoid Char dependency

---
 lib/ur/string.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/ur/string.ur b/lib/ur/string.ur
index d760ec2b..da4e7eb4 100644
--- a/lib/ur/string.ur
+++ b/lib/ur/string.ur
@@ -92,13 +92,13 @@ fun trim s =
         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
-- 
cgit v1.2.3