[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 3/6] cex: style changes
From: |
Akim Demaille |
Subject: |
[PATCH 3/6] cex: style changes |
Date: |
Sat, 18 Jul 2020 07:59:03 +0200 |
* 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
- [PATCH 0/6] Print derivations as trees, Akim Demaille, 2020/07/18
- [PATCH 1/6] cex: more colors, Akim Demaille, 2020/07/18
- [PATCH 2/6] cex: simplify tests, Akim Demaille, 2020/07/18
- [PATCH 3/6] cex: style changes,
Akim Demaille <=
- [PATCH 4/6] cex: factor the handling of graphical symbols, Akim Demaille, 2020/07/18
- [PATCH 5/6] cex: use the glyphs, Akim Demaille, 2020/07/18
- [PATCH 6/6] cex: display derivations as trees, Akim Demaille, 2020/07/18