Fix previous commit to actually use an unordered map

Authored by dfaure on Sep 24 2019, 3:15 PM.

Description

Fix previous commit to actually use an unordered map

(pushed the wrong version)

Details

Committed
dfaureOct 3 2019, 4:09 PM
Parents
R45:39da3a97e402: Add an ID to Symbol in order to make hashing faster
Branches
Unknown
Tags
Unknown