From b199bc8ee640a6ae4a5b96a25e3de1c21b18ec4c Mon Sep 17 00:00:00 2001
From: Robin Stuart <rstuart114@gmail.com>
Date: Mon, 10 Apr 2017 22:14:35 +0100
Subject: [PATCH] CLI should not ignore --eci flag

Bug found thanks to Marjan Leden
---
 frontend/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/main.c b/frontend/main.c
index e7f1fa11..7b4292f4 100644
--- a/frontend/main.c
+++ b/frontend/main.c
@@ -491,7 +491,7 @@ int main(int argc, char **argv) {
             {"mirror", 0, 0, 0},
             {"dotty", 0, 0, 0},
             {"dotsize", 1, 0, 0},
-            {"eci", 1, 0, 'e'},
+            {"eci", 1, 0, 0},
             {"filetype", 1, 0, 0},
             {0, 0, 0, 0}
         };