1 files changed, 1 insertions, 0 deletions
diff --git a/lib/SMT/parser.h b/lib/SMT/parser.h
index 49199eb5..4e7f05ba 100644
--- a/lib/SMT/parser.h
+++ b/lib/SMT/parser.h
@@ -29,6 +29,7 @@
 #define _cvc3__parser_h_
 
 #include "exception.h"
+#include "lang.h"
 
 namespace CVC3 {