Changeset 29075d1 for src/Concurrency/Waituntil.cpp

Timestamp:

Nov 18, 2024, 10:07:39 PM (19 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

ecf3812

Parents:

1b39705 (diff), ed96731 (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:

• src/Concurrency/Waituntil.cpp (modified) (1 diff)

src/Concurrency/Waituntil.cpp

@@ -1398 +1398 @@
 // To add the predicates at global scope we need to do it in a second pass
 // Predicates are added after "struct select_node { ... };"
-class AddPredicateDecls final : public WithDeclsToAdd<> {
+class AddPredicateDecls final : public WithDeclsToAdd {
         vector<FunctionDecl *> & satFns;
         const StructDecl * selectNodeDecl = nullptr;