Ignore:
Timestamp:
Jun 16, 2023, 10:07:59 AM (2 years ago)
Author:
caparsons <caparson@…>
Branches:
master
Children:
0d31434
Parents:
d144c26 (diff), e172f42 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/FindOpenVars.h

    rd144c26 r5dbb9f3  
    3333        void findOpenVars(
    3434                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 );
    3636} // namespace ResolvExpr
    3737
Note: See TracChangeset for help on using the changeset viewer.