From 9f8e3752f095f47648773bee990bcd5b51598404 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 6 Jul 2016 08:59:13 -0700
Subject: [PATCH] feat(kernel/equiv_manager): use expr_struct_map in the
 equiv_manager

---
 src/kernel/equiv_manager.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/kernel/equiv_manager.h b/src/kernel/equiv_manager.h
index be440eabc8..76e0491a5a 100644
--- a/src/kernel/equiv_manager.h
+++ b/src/kernel/equiv_manager.h
@@ -17,9 +17,9 @@ class equiv_manager {
         unsigned m_rank;
     };
 
-    std::vector<node>  m_nodes;
-    expr_map<node_ref> m_to_node;
-    bool               m_use_hash;
+    std::vector<node>         m_nodes;
+    expr_struct_map<node_ref> m_to_node;
+    bool                      m_use_hash;
 
     node_ref mk_node();
     node_ref find(node_ref n);