From 10c0bc3c889568717ce97b6d3bda000b3fd46227 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 31 Dec 2016 15:10:08 -0500
Subject: Proper ordering when libraries are included recursively (fixes #56)

---
 src/compiler.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3