Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/Concurrency/Waituntil.cpp

    r37273c8 r16e0dcb  
    553553    return new FunctionDecl( loc,
    554554        predName,
     555        {},                     // forall
    555556        {
    556557            new ObjectDecl( loc,
    … …  
    559560            )
    560561        },
    561         {
     562        { 
    562563            new ObjectDecl( loc,
    563564                "sat_ret",
Note: See TracChangeset for help on using the changeset viewer.