[PATCH 3/6] cex: style changes

* src/counterexample.c: here.
---
 src/counterexample.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"));
-- 
2.27.0