compilation issues fixed

workcraft · May 17, 2024 · f470bc6 · f470bc6
1 parent fb2028e
commit f470bc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/utils/GraphUtils.java b/workcraft/CfltPlugin/src/org/workcraft/plugins/cflt/utils/GraphUtils.java
@@ -19,7 +19,7 @@ public static Graph disjointUnion(Graph g1, Graph g2) {
         ArrayList<String> newVertices = new ArrayList<>();
         newVertices.addAll(g1.getVertices());
         newVertices.addAll(g2.getVertices());
-        return new Graph(newEdges, newVertices, null);
+        return new Graph(newEdges, newVertices);
     }
 
     public static Graph join(Graph g1, Graph g2) {