From 02fb5a3a3219158e8c1b31a737c0a17182e8d91e Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 8 Aug 2012 05:13:53 +0000
Subject: Public interface review items:

* don't document internal-only stuff (like DefaultCleanup for CDLists)
* NoSuchFunctionException -> TypeCheckingException
---
 src/context/cdlist_forward.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/context/cdlist_forward.h')

diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h
index 78557afd2..62c0b80f6 100644
--- a/src/context/cdlist_forward.h
+++ b/src/context/cdlist_forward.h
@@ -36,6 +36,8 @@
 
 #include <memory>
 
+/// \cond internals
+
 namespace __gnu_cxx {
   template <class Key> struct hash;
 }/* __gnu_cxx namespace */
@@ -52,6 +54,8 @@ public:
 template <class T, class CleanUp = DefaultCleanUp<T>, class Allocator = std::allocator<T> >
 class CDList;
 
+/// \endcond
+
 }/* CVC4::context namespace */
 }/* CVC4 namespace */
 
-- 
cgit v1.2.3