Changes in src/ResolvExpr/Unify.h [ea6332d:68f9c43]

File:

• src/ResolvExpr/Unify.h (modified) (1 diff)

src/ResolvExpr/Unify.h

@@ -64 +64 @@
         bool unifyList( Iterator1 list1Begin, Iterator1 list1End, Iterator2 list2Begin, Iterator2 list2End, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, OpenVarSet &openVars, const SymTab::Indexer &indexer ) {
                 std::list< Type* > commonTypes;
-                if ( unifyList( list1Begin, list1End, list2Begin, list2End, env, needAssertions, haveAssertions, openVars, indexer, commonTypes ) ) {
-                        deleteAll( commonTypes );
-                        return true;
-                } else {
-                        return false;
-                } // if
+                return unifyList( list1Begin, list1End, list2Begin, list2End, env, needAssertions, haveAssertions, openVars, indexer, commonTypes );
         }