Index: src/Common/SemanticError.cc
===================================================================
--- src/Common/SemanticError.cc	(revision ee612482decbbc67bb9fee72d67d75ee9a661708)
+++ src/Common/SemanticError.cc	(revision 986dd36f8bb08b2e2d657f1f7f3976f882f6b8f3)
@@ -14,4 +14,5 @@
 //
 
+#include <cstdarg>
 #include <cstdio>										// for fileno, stderr
 #include <unistd.h>										// for isatty