Changes in src/ResolvExpr/Unify.cc [2773ab8:ee574a2]

File:

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

src/ResolvExpr/Unify.cc

@@ -1143 +1143 @@
                         const ast::ptr<ast::Type> & type1, const ast::ptr<ast::Type> & type2, 
                         ast::TypeEnvironment & env, ast::AssertionSet & need, ast::AssertionSet & have, 
-                        ast::OpenVarSet & open, const ast::SymbolTable & symtab
-        ) {
-                ast::ptr<ast::Type> common;
-                return unify( type1, type2, env, need, have, open, symtab, common );
-        }
-
-        bool unify( 
-                        const ast::ptr<ast::Type> & type1, const ast::ptr<ast::Type> & type2, 
-                        ast::TypeEnvironment & env, ast::AssertionSet & need, ast::AssertionSet & have, 
                         ast::OpenVarSet & open, const ast::SymbolTable & symtab, ast::ptr<ast::Type> & common 
         ) {