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

File:

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

src/ResolvExpr/Unify.h

@@ -72 +72 @@
                 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 );
-
-        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 );