Mercurial > urweb
diff src/compiler.sml @ 792:d20d6afc1206
Improvements while working on Graftid
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 12 May 2009 18:02:25 -0400 |
parents | efceae06df17 |
children | dc3fc3f3b834 |
line wrap: on
line diff
--- a/src/compiler.sml Sun May 10 10:13:41 2009 -0400 +++ b/src/compiler.sml Tue May 12 18:02:25 2009 -0400 @@ -380,7 +380,7 @@ rewrites = #rewrites old @ #rewrites new, filterUrl = #filterUrl old @ #filterUrl new, filterMime = #filterMime old @ #filterMime new, - sources = #sources old @ #sources new + sources = #sources new @ #sources old } in foldr (fn (fname, job) => merge (job, parseUrp' fname)) job (!libs)