diff options
Diffstat (limited to 'src/theory/sets/theory_sets_rewriter.cpp')
| -rw-r--r-- | src/theory/sets/theory_sets_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sets/theory_sets_rewriter.cpp b/src/theory/sets/theory_sets_rewriter.cpp index aa6f4de3f..a7c506582 100644 --- a/src/theory/sets/theory_sets_rewriter.cpp +++ b/src/theory/sets/theory_sets_rewriter.cpp @@ -431,7 +431,7 @@ RewriteResponse TheorySetsRewriter::postRewrite(TNode node) { ++rel_mems_it_snd; } if( existing_mems.size() >= min_card ) { - Datatype dt = node.getType().getSetElementType().getDatatype(); + const Datatype& dt = node.getType().getSetElementType().getDatatype(); join_img_mems.insert(NodeManager::currentNM()->mkNode( kind::APPLY_CONSTRUCTOR, Node::fromExpr(dt[0].getConstructor()), fst_mem )); } ++rel_mems_it; |