From 30c30d9a6cde10aa772cb74ab143dca2cd01ae0d Mon Sep 17 00:00:00 2001 From: odow Date: Tue, 9 Nov 2021 14:28:17 +1300 Subject: [PATCH] [Utilties] don't throw UnsupportedAttribute in pass_attributes --- src/Utilities/copy.jl | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/Utilities/copy.jl b/src/Utilities/copy.jl index aebaa5f485..3fa215a306 100644 --- a/src/Utilities/copy.jl +++ b/src/Utilities/copy.jl @@ -25,7 +25,6 @@ function pass_attributes( if attr == MOI.Name() continue # Skipping names is okay. end - throw(MOI.UnsupportedAttribute(attr)) end _pass_attribute(dest, src, index_map, attr) end @@ -66,7 +65,6 @@ function pass_attributes( if attr == MOI.VariableName() || attr == MOI.VariablePrimalStart() continue # Skipping names and start values is okay. end - throw(MOI.UnsupportedAttribute(attr)) end _pass_attribute(dest, src, index_map, vis_src, attr) end @@ -115,7 +113,6 @@ function pass_attributes( ) continue # Skipping names and start values is okay. end - throw(MOI.UnsupportedAttribute(attr)) end _pass_attribute(dest, src, index_map, cis_src, attr) end