diff --git a/frontends/command-line/main.c b/frontends/command-line/main.c index eef6870ea..9e102d6d2 100644 --- a/frontends/command-line/main.c +++ b/frontends/command-line/main.c @@ -7,6 +7,7 @@ #include #include #include +#include #ifndef WIN32 #include