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