cex: style changes

* src/counterexample.c: here.
This commit is contained in:
Akim Demaille
2020-07-15 06:40:35 +02:00
parent dd3e7b3895
commit 4d18195ebc

View File

@@ -113,7 +113,7 @@ free_counterexample (counterexample *cex)
}
static void
print_counterexample (counterexample *cex, FILE *out, const char *prefix)
print_counterexample (const counterexample *cex, FILE *out, const char *prefix)
{
fprintf (out, " %s%-20s ",
prefix, cex->unifying ? _("Example") : _("First example"));