Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/FindOpenVars.h

    r843054c2 reb50842  
    2121
    2222namespace ResolvExpr {
     23        // Updates open and closed variables and their associated assertions
    2324        void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen );
    2425} // namespace ResolvExpr
Note: See TracChangeset for help on using the changeset viewer.