diff options
| -rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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 () |