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