[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 4/5] cex: style: prefer counterexample_print to print_counterexam
From: |
Akim Demaille |
Subject: |
[PATCH 4/5] cex: style: prefer counterexample_print to print_counterexample |
Date: |
Wed, 29 Jul 2020 06:46:55 +0200 |
* 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