From fc7b1516e2257f5d93e6198677b7901c22559baa Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Sat, 9 Sep 2017 23:43:26 +0200
Subject: [PATCH] Replace getc by fgetc

---
 m-string.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/m-string.h b/m-string.h
index 476b7f39..09ef4d6e 100644
--- a/m-string.h
+++ b/m-string.h
@@ -800,7 +800,7 @@ string_in_str(string_t v, FILE *f)
   c = fgetc(f);
   while (c != '"' && c != EOF) {
     if (c == '\\') {
-      c = getc(f);
+      c = fgetc(f);
       if (c != '"') string_push_back (v, '\\');
     }
     string_push_back (v, c);