enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some documentation, and make it possible to "make doc" on a clean source tree (post-configure)

1 files changed, 1 insertions, 1 deletions

diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index d9933689d..efcd42999 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -26,7 +26,7 @@ using namespace std;
 namespace CVC4 {
 
 TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node,
-                                                           string message) :
+                                                           std::string message) :
   Exception(message),
   d_node(new Node(node)) {
 }