Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/FindOpenVars.h

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