Merge pull request #212 from lf-lang/graph-fix

Bugfix: use copy of set in PrecedenceGraph::addAll
lf-lang · Aug 10, 2023 · dbaf0e0 · dbaf0e0
2 parents 8ef0e57 + 5e2349e
commit dbaf0e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/graph.ts b/src/core/graph.ts
@@ -36,7 +36,7 @@ export class PrecedenceGraph<T> {
           }
         }
       } else {
-        this.adjacencyMap.set(k, v);
+        this.adjacencyMap.set(k, new Set(v));
         this.numberOfEdges += v.size;
       }
     }