Disable creation of new variables after creation of the objective function

This can reveal bugs in constraints that accidentally include Ti.

1 files changed, 5 insertions, 0 deletions

diff --git a/native/src/blocking/linprog/lp_common.cpp b/native/src/blocking/linprog/lp_common.cpp
index 808ff28..eca5cc2 100644
--- a/native/src/blocking/linprog/lp_common.cpp
+++ b/native/src/blocking/linprog/lp_common.cpp
@@ -59,6 +59,11 @@ void set_blocking_objective(
                         }
                 }
         }
+#ifndef CONFIG_MERGED_LINPROGS
+        // We have enumerated all relevant variables. Do not allow any more to
+        // be created.
+        vars.seal();
+#endif
 }
 
 // Constraint 1 in [Brandenburg 2013]