comparison 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
comparison
equal deleted inserted replaced
1605:48eed6cf2be7 1606:f4453e2402d0
495 fname :: acc 495 fname :: acc
496 end 496 end
497 in 497 in
498 readSources acc 498 readSources acc
499 end 499 end
500 | _ => rev acc 500 | OnlyComment => readSources acc
501 | EndOfFile => rev acc
501 502
502 val prefix = ref (case Settings.getUrlPrefix () of "/" => NONE | s => SOME s) 503 val prefix = ref (case Settings.getUrlPrefix () of "/" => NONE | s => SOME s)
503 val database = ref (Settings.getDbstring ()) 504 val database = ref (Settings.getDbstring ())
504 val exe = ref (Settings.getExe ()) 505 val exe = ref (Settings.getExe ())
505 val sql = ref (Settings.getSql ()) 506 val sql = ref (Settings.getSql ())