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