fixing out of place typename (error on g++ 4.4.3-4ubuntu5)

diff --git a/src/theory/arrays/static_fact_manager.h b/src/theory/arrays/static_fact_manager.h
index d2dfc5f2d3547510f7caf6b8cc86b4ef71a2a77a..de487f97c620056797030cc9260f12d5604c9575 100644 (file)
--- a/src/theory/arrays/static_fact_manager.h
+++ b/src/theory/arrays/static_fact_manager.h
@@ -75,7 +75,7 @@ public:
 };/* class StaticFactManager<> */
 
 inline TNode StaticFactManager::debugFind(TNode n) const {
-  typename MapType::const_iterator i = d_map.find(n);
+  MapType::const_iterator i = d_map.find(n);
   if(i == d_map.end()) {
     return n;
   } else {
@@ -85,7 +85,7 @@ inline TNode StaticFactManager::debugFind(TNode n) const {
 
 inline TNode StaticFactManager::find(TNode n) {
   Trace("arraysuf") << "arraysUF find of " << n << std::endl;
-  typename MapType::iterator i = d_map.find(n);
+  MapType::iterator i = d_map.find(n);
   if(i == d_map.end()) {
     Trace("arraysuf") << "arraysUF   it is rep" << std::endl;
     return n;