From a7393ad4724476d7544483996f65877876698348 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Wed, 9 May 2018 16:45:43 -0500
Subject: Piecing solutions together in CegisUnif (#1894)

---
 src/theory/quantifiers/lazy_trie.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/theory/quantifiers/lazy_trie.h')

diff --git a/src/theory/quantifiers/lazy_trie.h b/src/theory/quantifiers/lazy_trie.h
index 2da76d6ef..935b9bec1 100644
--- a/src/theory/quantifiers/lazy_trie.h
+++ b/src/theory/quantifiers/lazy_trie.h
@@ -94,6 +94,8 @@ class LazyTrie
            bool forceKeep);
 };
 
+using IndTriePair = std::pair<unsigned, LazyTrie*>;
+
 /** Lazy trie with multiple elements per leaf
  *
  * As the above trie, but allows multiple elements per leaf. This is done by
@@ -157,7 +159,6 @@ class LazyTrieMulti
    * containing only itself.
    */
   Node add(Node f, LazyTrieEvaluator* ev, unsigned ntotal);
- private:
   /** A regular lazy trie */
   LazyTrie d_trie;
 };
-- 
cgit v1.2.3