From 2d2d077599da6bbb035db5fd79dfb6b26a4ba73c Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 11 Feb 2019 12:07:13 +0000
Subject: Get the order of overrides correct during topsort

---
 src/spec_analysis.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/spec_analysis.ml')

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index a8ddaf68..e26ea8a2 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -585,7 +585,7 @@ let scc ?(original_order : string list option) (g : graph) =
 let add_def_to_map id d defset =
   Namemap.add id
     (match Namemap.find id defset with
-     | t -> d::t
+     | t -> t@[d]
      | exception Not_found -> [d])
     defset
 
-- 
cgit v1.2.3