Mercurial > urweb

changeset 1606:f4453e2402d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Yet another fix to previous change
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Nov 2011 20:54:03 -0500
parents 48eed6cf2be7
children da788bd72c9e
files src/compiler.sml
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
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 ())