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