diff --git a/src/msolve/msolve.c b/src/msolve/msolve.c index 5229792f..4f2623c9 100644 --- a/src/msolve/msolve.c +++ b/src/msolve/msolve.c @@ -5205,7 +5205,9 @@ int core_msolve( oldminpolydeg = minpolydeg; // need to run a 2nd time } else if (oldminpolydeg == minpolydeg) { /* same degree for both random linear forms */ - printf ("\nRestarting with a non-random linear form"); + if (info_level > 0) { + printf ("\nRestarting with a non-random linear form"); + } /* set back the base coefficient to its previous form before introducing the random linear form. Only for value larger than 1 @@ -5229,7 +5231,9 @@ int core_msolve( } /* else oldminpolydeg > minpoly deg so need to run another 2nd time */ minpolydeg = -1; - printf ("\nRestarting with another random linear form"); + if (info_level > 0) { + printf ("\nRestarting with another random linear form"); + } /* set back the base coefficient to its previous form before introducing the random linear form. Only for value larger than 1