From 2ee1e358b6cb3aa03c63580d656499106ae4c4a2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 2 Apr 2018 15:10:08 -0500
Subject: [PATCH] chore: add definition for `enode_tbl`

---
 src/smt/smt_types.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/smt_types.h b/src/smt/smt_types.h
index 6300bd43c..17b99c8b2 100644
--- a/src/smt/smt_types.h
+++ b/src/smt/smt_types.h
@@ -21,6 +21,7 @@ Revision History:
 
 #include "util/list.h"
 #include "util/vector.h"
+#include "util/hashtable.h"
 #include "util/lbool.h"
 
 class model;
@@ -46,6 +47,7 @@ namespace smt {
     typedef ptr_vector<enode> enode_vector;
     typedef std::pair<enode *, enode *> enode_pair;
     typedef svector<enode_pair> enode_pair_vector;
+    typedef ptr_hashtable<enode, obj_ptr_hash<enode>, deref_eq<enode> > enode_tbl;
 
     class context;