From b4fb5a6ad511f20ff88d2bf78194ef2e65dbde39 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 11 Oct 2010 07:09:04 +0000
Subject: [PATCH] use "forward" headers

---
 src/expr/declaration_scope.h | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/src/expr/declaration_scope.h b/src/expr/declaration_scope.h
index a402a9139..76d85bcd7 100644
--- a/src/expr/declaration_scope.h
+++ b/src/expr/declaration_scope.h
@@ -26,18 +26,15 @@
 #include "expr/expr.h"
 #include "util/hash.h"
 
+#include "context/cdset_forward.h"
+#include "context/cdmap_forward.h"
+
 namespace CVC4 {
 
 class Type;
 
 namespace context {
   class Context;
-
-  template <class Key, class Data, class HashFcn>
-  class CDMap;
-
-  template <class V, class HashFcn>
-  class CDSet;
 }/* CVC4::context namespace */
 
 class CVC4_PUBLIC ScopeException : public Exception {
-- 
2.30.2