1 files changed, 0 insertions, 2 deletions
diff --git a/lib/SMT/parser.h b/lib/SMT/parser.h
index 5f18ab5f..c55d7eda 100644
--- a/lib/SMT/parser.h
+++ b/lib/SMT/parser.h
@@ -28,8 +28,6 @@
 #ifndef _cvc3__parser_h_
 #define _cvc3__parser_h_
 
-#include "exception.h"
-
 namespace CVC3 {
 
   //class Expr;