From 4d18195ebc8eb44c0da984bffa23e1db9fc0fd0e Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Wed, 15 Jul 2020 06:40:35 +0200
Subject: [PATCH] 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"));