summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-06-11 08:31:14 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-06-11 08:31:14 -0400
commitfb7713fd8543d1a42357d045d14909ba233151e0 (patch)
treed601938188eed0ce7315a3a5986a6d6c00251fb6 /lib/ur
parentd5b6e2668069721d91acb7fbcd0b2a92e08ce71e (diff)
Change String to avoid Char dependency
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/string.ur4
1 files changed, 2 insertions, 2 deletions
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