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