minor edits

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@290 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/UsefulDefs.h b/src/AST/UsefulDefs.h
index 4d936ba802d9b917cfea4470414de64271e5c126..66e6597b6b45c059b943fc6529f49532d75a5fc3 100644 (file)
--- a/src/AST/UsefulDefs.h
+++ b/src/AST/UsefulDefs.h
@@ -21,7 +21,7 @@
 #include <algorithm>
 #include <assert.h>
 
-#define  INITIAL_TABLE_SIZE 1000
+#define  INITIAL_TABLE_SIZE 100
 
 #ifdef EXT_HASH_MAP
  #include <ext/hash_set>