From 45e584ba28f0dd3ca250547613ea291f681439f8 Mon Sep 17 00:00:00 2001
From: Robin Stuart <rstuart114@gmail.com>
Date: Mon, 11 Dec 2017 17:52:22 +0000
Subject: [PATCH] Fix filetype recognition bug in frontend

Fixes #84 submitted by Michael Lee
---
 frontend/main.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/frontend/main.c b/frontend/main.c
index af76792b..c20888cf 100644
--- a/frontend/main.c
+++ b/frontend/main.c
@@ -369,6 +369,7 @@ int main(int argc, char **argv) {
     int batch_mode;
     int mirror_mode;
     char filetype[4];
+    int i;
 
     error_number = 0;
     rotate_angle = 0;
@@ -377,7 +378,10 @@ int main(int argc, char **argv) {
     my_symbol->input_mode = UNICODE_MODE;
     batch_mode = 0;
     mirror_mode = 0;
-    filetype[0] = '\0';
+
+    for (i = 0; i < 4; i++) {
+        filetype[i] = '\0';
+    }
 
     if (argc == 1) {
         usage();