1 files changed, 5 insertions, 0 deletions
diff --git a/identifiers.c b/identifiers.c
index 522180d..b407e39 100644
--- a/identifiers.c
+++ b/identifiers.c
@@ -99,6 +99,11 @@ static void fprint_ident(FILE *out, Identifier id) {
 	fputc(c, out);
 }
 
+static void print_ident(Identifier id) {
+	fprint_ident(stdout, id);
+	printf("\n");
+}
+
 /* reduced charset = a-z, A-Z, 0-9, _ */
 static void fprint_ident_reduced_charset(FILE *out, Identifier id) {
 	assert(id);