From 58cbae3b042d28bcbc4eecd06ad5c4fc379d320f Mon Sep 17 00:00:00 2001
From: Stefan Vigerske <svigerske@gams.com>
Date: Tue, 26 Nov 2024 10:29:41 +0100
Subject: [PATCH] remove assert that no longer needs to hold

- requiredsize can be larger than final number of ntrafolinvars due to
  cancelation
- see also !3409#note_256099
---
 src/scip/cons_sos1.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/scip/cons_sos1.c b/src/scip/cons_sos1.c
index 10e0891336..2af5e476e1 100644
--- a/src/scip/cons_sos1.c
+++ b/src/scip/cons_sos1.c
@@ -2812,7 +2812,6 @@ SCIP_RETCODE tightenVarsBoundsSOS1(
          SCIP_CALL( SCIPreallocBufferArray(scip, &trafolinvals, requiredsize + 1) );
 
          SCIP_CALL( SCIPgetProbvarLinearSum(scip, trafolinvars, trafolinvals, &ntrafolinvars, requiredsize, &constant, &requiredsize) );
-         assert( requiredsize <= ntrafolinvars );
       }
       if( !SCIPisInfinity(scip, -trafolhs) )
          trafolhs -= constant;