From 252e3a788bba37a31806a3accc0737583aa55c6d Mon Sep 17 00:00:00 2001 From: odow Date: Thu, 25 Nov 2021 09:52:45 +1300 Subject: [PATCH] Revert "[Utilties] don't throw UnsupportedAttribute in pass_attributes (#1656)" This reverts commit 1a3c637dafd17e9ea59e66a774a2778e1f6ba772. --- src/Utilities/copy.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Utilities/copy.jl b/src/Utilities/copy.jl index b92dd6b335..40d940654c 100644 --- a/src/Utilities/copy.jl +++ b/src/Utilities/copy.jl @@ -25,6 +25,7 @@ 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 @@ -65,6 +66,7 @@ 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 @@ -118,6 +120,7 @@ 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