Changeset 37273c8 for src/Concurrency/Waituntil.cpp
- Timestamp:
- Nov 28, 2023, 3:01:52 PM (9 months ago)
- Branches:
- master
- Children:
- ab9c1b3
- Parents:
- 4bc4b4c
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Concurrency/Waituntil.cpp
r4bc4b4c r37273c8 553 553 return new FunctionDecl( loc, 554 554 predName, 555 {}, // forall556 555 { 557 556 new ObjectDecl( loc, … … 560 559 ) 561 560 }, 562 { 561 { 563 562 new ObjectDecl( loc, 564 563 "sat_ret",
Note: See TracChangeset
for help on using the changeset viewer.