diff options
author | Adam Chlipala <adam@chlipala.net> | 2016-12-31 15:10:08 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2016-12-31 15:10:08 -0500 |
commit | 10c0bc3c889568717ce97b6d3bda000b3fd46227 (patch) | |
tree | defdeb26b06d139b5d6749a87c691f090336ba88 /src | |
parent | 7882613062c5423c3001ab2923509b94c7a5ff22 (diff) |
Proper ordering when libraries are included recursively (fixes #56)
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 4fe2dfd5..481f04b6 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -687,7 +687,7 @@ fun parseUrp' accLibs fname = } in if accLibs then - foldr (fn (job', job) => merge (job, job')) job (!libs) + foldl (fn (job', job) => merge (job, job')) job (!libs) else job end |