diff src/compiler.sml @ 1606:f4453e2402d0

Yet another fix to previous change
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Nov 2011 20:54:03 -0500
parents 48eed6cf2be7
children 438561303d02
line wrap: on
line diff
--- a/src/compiler.sml	Sun Nov 20 20:46:28 2011 -0500
+++ b/src/compiler.sml	Sun Nov 20 20:54:03 2011 -0500
@@ -497,7 +497,8 @@
                             in
                                 readSources acc
                             end
-                          | _ => rev acc
+                          | OnlyComment => readSources acc
+                          | EndOfFile => rev acc
 
                     val prefix = ref (case Settings.getUrlPrefix () of "/" => NONE | s => SOME s)
                     val database = ref (Settings.getDbstring ())