Merge remote-tracking branch 'origin/v9-minor'

scipopt · Nov 24, 2024 · a3c3014 · a3c3014
2 parents 0edfe44 + 77dbe77
commit a3c3014
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/scip/prop_symmetry.c b/src/scip/prop_symmetry.c
@@ -8084,8 +8084,7 @@ SCIP_RETCODE SCIPincludePropSymmetry(
          &propdata->symtiming, TRUE, DEFAULT_SYMCOMPTIMING, 0, 2, NULL, NULL) );
 
    /* for symmetry detection tool Nauty, we add further parameters to terminate it early */
-   assert( strlen(SYMsymmetryGetName()) >= 5 );
-   if ( memcmp(SYMsymmetryGetName(), "Nauty", 5) == 0 ) /*lint !e747*/
+   if ( strncmp(SYMsymmetryGetName(), "Nauty", 5) == 0 )
    {
       SCIP_CALL( SCIPaddIntParam(scip,
             "propagating/" PROP_NAME "/nautymaxncells",