diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-15 06:40:35 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-15 06:41:07 +0200 |
| commit | 4d18195ebc8eb44c0da984bffa23e1db9fc0fd0e (patch) | |
| tree | 0c8e50f32f2673e902b33f4420d19e316168db99 | |
| parent | dd3e7b3895d161620cdec3dca6f137ebe296e388 (diff) | |
| download | bison-4d18195ebc8eb44c0da984bffa23e1db9fc0fd0e.tar.gz | |
cex: style changes
* src/counterexample.c: here.
| -rw-r--r-- | src/counterexample.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/counterexample.c b/src/counterexample.c index b7a4a57f..4aa0009b 100644 --- a/src/counterexample.c +++ b/src/counterexample.c @@ -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")); |