diff options
Diffstat (limited to 'src')
| -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 |