From 16a5e944d78aae384f2acb17e1bd60c6499f965e Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Mon, 1 May 2017 18:25:54 -0400
Subject: [PATCH] use reference for case split sets

---
 src/smt/smt_context.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index af45f0fcc..602ff5160 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -3045,7 +3045,7 @@ namespace smt {
             if (m_all_th_case_split_literals.contains(l.index())) {
                 TRACE("theory_case_split", tout << "assigned literal " << l.index() << " is a theory case split literal" << std::endl;);
                 // now find the sets of literals which contain l
-                vector<literal_vector> case_split_sets = m_literal2casesplitsets.get(l.index(), vector<literal_vector>());
+                vector<literal_vector> & case_split_sets = m_literal2casesplitsets.get(l.index(), vector<literal_vector>());
                 for (vector<literal_vector>::const_iterator it = case_split_sets.begin(); it != case_split_sets.end(); ++it) {
                     literal_vector case_split_set = *it;
                     TRACE("theory_case_split", tout << "found case split set { ";