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} };