From a24f2bd12f4a93c3b10fb14e6583cc3b72c55007 Mon Sep 17 00:00:00 2001
From: Nick Gasson <nick@nickg.me.uk>
Date: Sun, 7 Aug 2022 09:08:44 +0100
Subject: [PATCH] Use printf %c instead of %C to print characters

Doesn't work with OpenBSD libc
---
 src/names.c | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/names.c b/src/names.c
index 0efcad5c..55c204dd 100644
--- a/src/names.c
+++ b/src/names.c
@@ -1204,11 +1204,8 @@ ident_t get_implicit_label(tree_t t, nametab_t *tab)
       break;
    }
 
-   checked_sprintf(buf, sizeof(buf), "_%C%d", c, *cnt);
-   (*cnt)++;
-   ident_t ident = ident_new(buf);
-
-   return ident;
+   checked_sprintf(buf, sizeof(buf), "_%c%d", c, (*cnt)++);
+   return ident_new(buf);
 }
 
 type_t resolve_type(nametab_t *tab, type_t incomplete)
-- 
2.39.2