From 5bfa75dbe0910dd19a8e0f40e2d03e33a4c44eb8 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 28 Feb 2010 15:46:41 -0500
Subject: Fix parsing of space-free .urp directives; use 'class' for 'c*' tags

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

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index f0313c8b..63b28fb7 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -292,7 +292,8 @@ fun parseUrp' accLibs fname =
                 fun hasSpaceLine () =
                     case TextIO.inputLine inf of
                         NONE => false
-                      | SOME s => CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
+                      | SOME s => s = "debug\n" orelse s = "profile\n"
+                                  orelse CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
 
                 val hasBlankLine = hasSpaceLine ()
 
-- 
cgit v1.2.3