Commit 5ee3bb77 authored by Cyril Bouvier's avatar Cyril Bouvier

Fix a bug in purge: deleted relations were never printed

parent 51b2d07b
......@@ -889,6 +889,10 @@ int main(int argc, char **argv)
deletedname);
exit(1);
}
else
{
fprintf(pd->fd[1], "# %" PRIu64 "\n", nrelmax - nrels);
}
}
/* Write the header line for the file of remaining relations:
......@@ -908,7 +912,7 @@ int main(int argc, char **argv)
input_files,
(filter_rels_callback_t) &thread_print, pd,
EARLYPARSE_NEED_LINE | EARLYPARSE_NEED_NB,
rel_used, NULL);
NULL, NULL);
/* write final values to stdout */
fprintf(stdout, "Final values:\nnrels=%" PRIu64 " nprimes=%" PRIu64 " "
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment