From: Morgan Deters Date: Mon, 11 Oct 2010 07:09:04 +0000 (+0000) Subject: use "forward" headers X-Git-Tag: cvc5-1.0.0~8811 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b4fb5a6ad511f20ff88d2bf78194ef2e65dbde39;p=cvc5.git use "forward" headers --- 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 CDMap; - - template - class CDSet; }/* CVC4::context namespace */ class CVC4_PUBLIC ScopeException : public Exception {