Compiling with -D_GLIBCXX_DEBUG reported warnings because we sometimes derefferenced...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1298 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/simplifier/SubstitutionMap.cpp b/src/simplifier/SubstitutionMap.cpp
index ce0b742ed6a78b192cba1430044e5a364f10b527..4734e7f8c2b3b4280c5a89509a0f87ac782e0c40 100644 (file)
--- a/src/simplifier/SubstitutionMap.cpp
+++ b/src/simplifier/SubstitutionMap.cpp
@@ -399,10 +399,10 @@ void SubstitutionMap::loops_helper(const set<ASTNode>& varsToCheck, set<ASTNode>
        // for each variable.
        for (set<ASTNode>::const_iterator varIt = varsToCheck.begin(); varIt != varsToCheck.end(); varIt++)
        {
-               while (*visitedIt < *varIt && visitedIt != visited.end())
-                       visitedIt++;
+               while (visitedIt != visited.end() && *visitedIt < *varIt )
+                       visitedIt++;
 
-               if (*visitedIt == *varIt)
+               if ((visitedIt != visited.end()) &&  *visitedIt == *varIt)
                        continue;
 
                visitedN.push_back(*varIt);