# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1265554301 18000
# Node ID ed3e5329b60eeddd13ea6abf9083de76cea0b8c3
# Parent  76f607cefdb17b242388fa28b54bcf2184e8a494
Fix .urp parsing for real

diff -r 76f607cefdb1 -r ed3e5329b60e src/compiler.sml
--- a/src/compiler.sml	Sun Feb 07 09:38:27 2010 -0500
+++ b/src/compiler.sml	Sun Feb 07 09:51:41 2010 -0500
@@ -289,7 +289,7 @@
                 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 ()