From 39031822cf3f9faab7b5b9e6cbce46a5194503b1 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 31 Oct 2010 15:26:19 +0000
Subject: 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)

---
 src/expr/declaration_scope.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/expr/declaration_scope.cpp')

diff --git a/src/expr/declaration_scope.cpp b/src/expr/declaration_scope.cpp
index 0c76ea845..f36c8a6e3 100644
--- a/src/expr/declaration_scope.cpp
+++ b/src/expr/declaration_scope.cpp
@@ -76,7 +76,7 @@ void DeclarationScope::bindType(const std::string& name, Type t) throw() {
 }
 
 void DeclarationScope::bindType(const std::string& name,
-                                const vector<Type>& params,
+                                const std::vector<Type>& params,
                                 Type t) throw() {
   if(Debug.isOn("sort")) {
     Debug("sort") << "bindType(" << name << ", [";
@@ -104,7 +104,7 @@ Type DeclarationScope::lookupType(const std::string& name) const throw(Assertion
 }
 
 Type DeclarationScope::lookupType(const std::string& name,
-                                  const vector<Type>& params) const throw(AssertionException) {
+                                  const std::vector<Type>& params) const throw(AssertionException) {
   pair<vector<Type>, Type> p = (*d_typeMap->find(name)).second;
   Assert(p.first.size() == params.size(),
          "type constructor arity is wrong: "
-- 
cgit v1.2.3