You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Due to the lack of a general allocator (for use by hashtable), allocation and ownership bookkeeping had to use static arrays (#674). Now with the addition of a general allocator (#863), we can just use hashtable instead.
The text was updated successfully, but these errors were encountered:
Due to the lack of a general allocator (for use by
hashtable
), allocation and ownership bookkeeping had to use static arrays (#674). Now with the addition of a general allocator (#863), we can just usehashtable
instead.The text was updated successfully, but these errors were encountered: