Reverted starting size of ast hash table, see also Z3Prover#5040

ptr1120 · Jun 29, 2024 · c8856ff · c8856ff
1 parent 44dd499
commit c8856ff
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ast/ast.h b/src/ast/ast.h
@@ -981,7 +981,6 @@ class ast_translation;
 
 class ast_table : public chashtable<ast*, obj_ptr_hash<ast>, ast_eq_proc> {
 public:
-    ast_table() : chashtable({}, {}, 512 * 1024, 8 * 1024) {}
     void push_erase(ast * n);
     ast* pop_erase();
 };