diff options
Diffstat (limited to 'src/theory/uf/symmetry_breaker.h')
-rw-r--r-- | src/theory/uf/symmetry_breaker.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/uf/symmetry_breaker.h b/src/theory/uf/symmetry_breaker.h index b4ea3640d..e38a1f67b 100644 --- a/src/theory/uf/symmetry_breaker.h +++ b/src/theory/uf/symmetry_breaker.h @@ -65,7 +65,7 @@ class SymmetryBreaker : public context::ContextNotifyObj { class Template { Node d_template; - NodeBuilder<> d_assertions; + NodeBuilder d_assertions; std::unordered_map<TNode, std::set<TNode>, TNodeHashFunction> d_sets; std::unordered_map<TNode, TNode, TNodeHashFunction> d_reps; |