From b0a790a4633da88130ebbf8018892cdc685b4549 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Thu, 20 Aug 2020 17:25:55 +0200
Subject: [PATCH] proper size_t to int conversion

---
 src/frontend/parse-bison.y | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/parse-bison.y b/src/frontend/parse-bison.y
index 1a808b4bf..fc74616e1 100644
--- a/src/frontend/parse-bison.y
+++ b/src/frontend/parse-bison.y
@@ -174,7 +174,7 @@ PPerror (YYLTYPE *locp, char **line, struct pnode **retval, char const *s)
   NG_IGNORE(line);
   NG_IGNORE(retval);
   char *tmpstr = strstr(keepline, *line);
-  size_t len = strlen(keepline);
+  int len = (int)strlen(keepline);
   fprintf (stderr, "%s: %s in line segment\n   %s\nnear\n   %*s\n",
       __func__, s, keepline, len, tmpstr);
 }