diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-10-11 07:09:04 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-10-11 07:09:04 +0000 |
| commit | b4fb5a6ad511f20ff88d2bf78194ef2e65dbde39 (patch) | |
| tree | 702d1685f26a481be191ad6bd173b209c19644e8 /src/expr/declaration_scope.h | |
| parent | d6b37239a2e525e7878d3bb0b4372a8dabc340a9 (diff) | |
use "forward" headers
Diffstat (limited to 'src/expr/declaration_scope.h')
| -rw-r--r-- | src/expr/declaration_scope.h | 9 |
1 files 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 { |