From 7bcfaf34a9b8260c46ba5a79d9bc145cd20af277 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Feb 2010 09:51:41 -0500
Subject: Fix .urp parsing for real

---
 src/compiler.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/compiler.sml b/src/compiler.sml
index cba385e2..ba80e37e 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -289,7 +289,7 @@ fun parseUrp' accLibs fname =
                 fun hasSpaceLine () =
                     case TextIO.inputLine inf of
                         NONE => false
-                      | SOME s => CharVector.exists Char.isSpace s orelse hasSpaceLine ()
+                      | SOME s => CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
 
                 val hasBlankLine = hasSpaceLine ()
 
-- 
cgit v1.2.3