diff --git a/src/scip/prop_symmetry.c b/src/scip/prop_symmetry.c
index 17dddf903f..e8c366a26b 100644
--- 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",