From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 5 Sep 2023 18:32:20 +0000 (-0600)
Subject: Merge pull request #1980 from Skgland/atomtable
X-Git-Tag: remove~112
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a9aef2bc84b52d5d60442baef000464baf6fd53f;p=scryer-prolog.git

Merge pull request #1980 from Skgland/atomtable

make AtomTable consurrency safe
---

a9aef2bc84b52d5d60442baef000464baf6fd53f