From: Tim King <taking@cs.nyu.edu>
Date: Thu, 10 May 2012 14:50:45 +0000 (+0000)
Subject: Removing now unneeded (as of r3425) typenames from EqualityEngine. trunk now compiles... 
X-Git-Tag: cvc5-1.0.0~8191
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=021d68c157ee698e706096fc9f4a112f17cd0128;p=cvc5.git

Removing now unneeded (as of r3425) typenames from EqualityEngine. trunk now compiles on Debian.
---

diff --git a/src/theory/uf/equality_engine.cpp b/src/theory/uf/equality_engine.cpp
index b78015c00..ec0a8fce3 100644
--- a/src/theory/uf/equality_engine.cpp
+++ b/src/theory/uf/equality_engine.cpp
@@ -119,7 +119,7 @@ EqualityNodeId EqualityEngine::newApplicationNode(TNode original, EqualityNodeId
   d_applications[funId] = FunctionApplicationPair(funOriginal, funNormalized);
 
   // Add the lookup data, if it's not already there
-  typename ApplicationIdsMap::iterator find = d_applicationLookup.find(funNormalized);
+  ApplicationIdsMap::iterator find = d_applicationLookup.find(funNormalized);
   if (find == d_applicationLookup.end()) {
     // When we backtrack, if the lookup is not there anymore, we'll add it again
     Debug("equality") << "EqualityEngine::newApplicationNode(" << original << ", " << t1 << ", " << t2 << "): no lookup, setting up" << std::endl;
@@ -362,7 +362,7 @@ bool EqualityEngine::merge(EqualityNode& class1, EqualityNode& class2, std::vect
       EqualityNodeId aNormalized = getEqualityNode(fun.a).getFind();
       EqualityNodeId bNormalized = getEqualityNode(fun.b).getFind();
       FunctionApplication funNormalized(aNormalized, bNormalized);
-      typename ApplicationIdsMap::iterator find = d_applicationLookup.find(funNormalized);
+      ApplicationIdsMap::iterator find = d_applicationLookup.find(funNormalized);
       if (find != d_applicationLookup.end()) {
         // Applications fun and the funNormalized can be merged due to congruence
         if (getEqualityNode(funId).getFind() != getEqualityNode(find->second).getFind()) {