diff --git a/src/console/Line.cpp b/src/console/Line.cpp
index b1e6f25..9428bc6 100644
--- a/src/console/Line.cpp
+++ b/src/console/Line.cpp
@@ -8,6 +8,8 @@
 #include <storm/List.hpp>
 #include <storm/thread/SCritSect.hpp>
 
+#include <cstdarg>
+
 static SCritSect s_critsect;
 // In this list:
 // The head = the input line.