Changeset 46da46b for src/ResolvExpr/FindOpenVars.h
- Timestamp:
- May 2, 2023, 3:44:31 AM (12 months ago)
- Branches:
- ast-experimental, master
- Children:
- 0c840fc
- Parents:
- 1ab773e0
- File:
-
- 1 edited
-
src/ResolvExpr/FindOpenVars.h (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/FindOpenVars.h
r1ab773e0 r46da46b 33 33 void findOpenVars( 34 34 const ast::Type * type, ast::OpenVarSet & open, ast::OpenVarSet & closed, 35 ast::AssertionSet & need, ast::AssertionSet & have, FirstMode firstIsOpen );35 ast::AssertionSet & need, ast::AssertionSet & have, ast::TypeEnvironment & env, FirstMode firstIsOpen ); 36 36 } // namespace ResolvExpr 37 37
Note: See TracChangeset
for help on using the changeset viewer.
