From 4c9fed21e21a3c2a627cc1e370f73399884953c0 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Tue, 2 Mar 2021 19:45:07 +0000
Subject: [PATCH] increase starting size of ast's hash table to 512k entries
 (instead of 8) (#5040)

---
 src/ast/ast.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast/ast.h b/src/ast/ast.h
index 2e054e371..0a3e90941 100644
--- a/src/ast/ast.h
+++ b/src/ast/ast.h
@@ -966,6 +966,7 @@ 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();
 };