diff --git a/src/msolve/main.c b/src/msolve/main.c index 69e765a2..0ed19514 100644 --- a/src/msolve/main.c +++ b/src/msolve/main.c @@ -426,9 +426,11 @@ int main(int argc, char **argv){ gens->random_linear_form = malloc(sizeof(int32_t)*(nr_vars)); gens->elim = elim_block_len; - if(0 < field_char && field_char < pow(2, 15) && la_option > 2 && info_level){ - fprintf(stderr, "Warning: characteristic is too low for choosing \nprobabilistic linear algebra\n"); - fprintf(stderr, "\t linear algebra option set to 2\n"); + if(0 < field_char && field_char < pow(2, 15) && la_option > 2){ + if(info_level){ + fprintf(stderr, "Warning: characteristic is too low for choosing \nprobabilistic linear algebra\n"); + fprintf(stderr, "\t linear algebra option set to 2\n"); + } la_option = 2; }