From 64a4eb6d3f2ac71404204ea90cb394b75e270205 Mon Sep 17 00:00:00 2001 From: dlcole3 Date: Wed, 25 Sep 2024 12:55:10 -0500 Subject: [PATCH] added call to var_map --- src/backends/moi_backend.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backends/moi_backend.jl b/src/backends/moi_backend.jl index 64357be..f4ca62c 100644 --- a/src/backends/moi_backend.jl +++ b/src/backends/moi_backend.jl @@ -890,7 +890,7 @@ function _copy_node_variables( # note that existing node variables are not copied per-se; the references # now point to multiple MOI backends. for var in node_variables - if !(var in keys(dest.element_to_graph_map)) + if !(var in keys(dest.element_to_graph_map.var_map)) src_graph_index = graph_index(var) dest_graph_index = MOI.add_variable(dest, var) index_map[src_graph_index] = dest_graph_index