Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/Concurrency/Waituntil.cpp

    r16e0dcb r37273c8  
    553553    return new FunctionDecl( loc,
    554554        predName,
    555         {},                     // forall
    556555        {
    557556            new ObjectDecl( loc,
    … …  
    560559            )
    561560        },
    562         { 
     561        {
    563562            new ObjectDecl( loc,
    564563                "sat_ret",
Note: See TracChangeset for help on using the changeset viewer.