From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 11 Jul 2011 20:06:20 +0000 (+0000)
Subject: fixing out of place typename (error on g++ 4.4.3-4ubuntu5)
X-Git-Tag: cvc5-1.0.0~8499
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=50ac15cb145c47f88b3fada86434029a498bbcac;p=cvc5.git

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 d2dfc5f2d..de487f97c 100644
--- 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;