[PATCH 4/5] cex: style: prefer counterexample_print to print_counterexample

* src/counterexample.c: here.
---
 src/counterexample.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/counterexample.c b/src/counterexample.c
index 8391770c..cdf3f218 100644
--- a/src/counterexample.c
+++ b/src/counterexample.c
@@ -119,7 +119,7 @@ static int max (int a, int b)
 }
 
 static void
-print_counterexample (const counterexample *cex, FILE *out, const char *prefix)
+counterexample_print (const counterexample *cex, FILE *out, const char *prefix)
 {
   const bool flat = getenv ("YYFLAT");
   const char *example1_label
@@ -1267,7 +1267,7 @@ counterexample_report (state_item_number itm1, state_item_number itm2,
     : example_from_path (shift_reduce, itm2, shortest_path, next_sym);
 
   gl_list_free (shortest_path);
-  print_counterexample (cex, out, prefix);
+  counterexample_print (cex, out, prefix);
   free_counterexample (cex);
 }
 
-- 
2.27.0