Changeset 10a9479d for src/Concurrency/Waituntil.cpp

Timestamp:

Nov 23, 2024, 8:28:37 PM (11 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

956b389

Parents:

b006c51e (diff), de7b7a5 (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;