From cff7c450c381067402334cb8f10482f9f78cbaba Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Thu, 23 Feb 2017 14:57:48 -0500
Subject: [PATCH] refactor: uint_set

---
 src/smt/smt_context.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/smt/smt_context.h b/src/smt/smt_context.h
index edc122bd6..e23ecaf43 100644
--- a/src/smt/smt_context.h
+++ b/src/smt/smt_context.h
@@ -230,8 +230,7 @@ namespace smt {
         // Theory case split
         //
         // -----------------------------------
-        typedef int_hashtable<int_hash, default_eq<int> > int_set;
-        int_set m_all_th_case_split_literals;
+        uint_set m_all_th_case_split_literals;
         vector<literal_vector> m_th_case_split_sets;
         u_map< vector<literal_vector> > m_literal2casesplitsets; // returns the case split literal sets that a literal participates in
         unsigned m_th_case_split_qhead;