Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merged PR 3571: BUG: In single threaded compilation, the trie API did…
… not use the counter structure. This resulted in a compilation failure when `FIFTYONEDEGREES_NO_THREADING` was defined. The counter is now used correctly.
- Loading branch information