Fix for Julia v1.9 by adding check_belongs_to_model (#316)

* Fix for Julia v1.9 by adding check_belongs_to_model * Change location and scope * Use InfiniteVariableRef instead of DispatchVariableRef --------- Co-authored-by: pulsipher <joshuapulsipher13@gmail.com>
infiniteopt · May 25, 2023 · ba79f48 · ba79f48
1 parent b1c835d
commit ba79f48
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/src/infinite_variables.jl b/src/infinite_variables.jl
@@ -100,6 +100,21 @@ function _set_core_variable_object(
     return
 end
 
+################################################################################
+#                                 MODEL CHECKING
+################################################################################
+# TODO(odow): this is a work-around for a bug in Julia v1.9. I've no idea why it
+# is necessary.
+function JuMP.check_belongs_to_model(
+    x::InfiniteVariableRef,
+    model::InfiniteModel
+    )
+    if JuMP.owner_model(x) !== model
+        throw(JuMP.VariableNotOwned(x))
+    end
+    return
+end
+
 ################################################################################
 #                          DEFINTION HELPER METHODS
 ################################################################################