diff options
| author | Brian Campbell | 2019-02-11 12:07:13 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-11 12:07:29 +0000 |
| commit | 2d2d077599da6bbb035db5fd79dfb6b26a4ba73c (patch) | |
| tree | 686cc82e2e10baaeae986f6740db89d915b4687a /src/spec_analysis.ml | |
| parent | ee2eb2bad10ad8d7c730538f239474ce103efa16 (diff) | |
Get the order of overrides correct during topsort
Diffstat (limited to 'src/spec_analysis.ml')
| -rw-r--r-- | src/spec_analysis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |