From 29b9770bbefb30be9f19747a72930bbc5fc8f22e Mon Sep 17 00:00:00 2001 From: dlcole3 Date: Wed, 25 Sep 2024 12:44:31 -0500 Subject: [PATCH] removed extra line --- src/backends/moi_backend.jl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/backends/moi_backend.jl b/src/backends/moi_backend.jl index e2149c1..64357be 100644 --- a/src/backends/moi_backend.jl +++ b/src/backends/moi_backend.jl @@ -889,7 +889,6 @@ function _copy_node_variables( # add new MOI variables to the destination MOI backend # note that existing node variables are not copied per-se; the references # now point to multiple MOI backends. - vars_to_add = setdiff(node_variables, keys(dest.element_to_graph_map.var_map)) for var in node_variables if !(var in keys(dest.element_to_graph_map)) src_graph_index = graph_index(var)