# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1321840443 18000
# Node ID f4453e2402d0a4ee8ea458d293fc9eecb1540376
# Parent  48eed6cf2be7eea8705244669a094574d81829ce
Yet another fix to previous change

diff -r 48eed6cf2be7 -r f4453e2402d0 src/compiler.sml
--- 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 ())