From 7719416c6698cdc49b7a0d2d62b4472ef815a487 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 4 Oct 2010 04:20:19 +0000
Subject: remove/shuffle some #include dependencies; fix some documentation;
 apply coding standards

---
 src/parser/smt2/smt2.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/parser/smt2/smt2.cpp')

diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index 23879fda8..e704d027d 100644
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -16,6 +16,7 @@
  ** Definitions of SMT2 constants.
  **/
 
+#include "expr/type.h"
 #include "parser/parser.h"
 #include "parser/smt/smt.h"
 #include "parser/smt2/smt2.h"
-- 
cgit v1.2.3