From 842e581321bcd9f30c60b9dacc671843ca776fed Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 3 Nov 2009 03:37:08 +0000
Subject: additional headers and modifications; now passes syntax check

---
 src/include/parser.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/include/parser.h')

diff --git a/src/include/parser.h b/src/include/parser.h
index 8f1032286..c5af769e3 100644
--- a/src/include/parser.h
+++ b/src/include/parser.h
@@ -10,6 +10,10 @@
 #ifndef __CVC4_PARSER_H
 #define __CVC4_PARSER_H
 
+#include <iostream>
+#include "vc.h"
+#include "expr.h"
+
 namespace CVC4 {
 
 // In terms of abstraction, this is below (and provides services to)
-- 
cgit v1.2.3