Skip to content

Commit 42adc53

Browse files
committed
Merge remote-tracking branch 'origin/v9-minor'
2 parents e4bcf7c + efa9cb6 commit 42adc53

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/scip/nlhdlr_soc.c

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1331,6 +1331,10 @@ SCIP_RETCODE detectSocNorm(
13311331
if( SCIPgetExprNLocksPosNonlinear(expr) == 0 )
13321332
return SCIP_OKAY;
13331333

1334+
/* expression is a leaf (variable or constant) */
1335+
if( SCIPexprGetNChildren(expr) == 0 )
1336+
return SCIP_OKAY;
1337+
13341338
assert(SCIPexprGetNChildren(expr) > 0);
13351339

13361340
child = SCIPexprGetChildren(expr)[0];

0 commit comments

Comments
 (0)