Changes in src/Concurrency/Waituntil.cpp [ed96731:c92bdcc]

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;