diff options
author | 2013-11-04 18:42:56 +0100 | |
---|---|---|
committer | 2014-05-06 09:58:55 +0200 | |
commit | 7f59465dad8be7fa04b2e6b4ed0c49c38cd9e532 (patch) | |
tree | 86c014810cfc19b1e30c0f9c12bfb85d77c2463c /lib/cStack.mli | |
parent | ede4fa2f51bee0a425f68cd159178835a3af3ca6 (diff) |
Reinstate hashconsing of instances, faster globally.
Diffstat (limited to 'lib/cStack.mli')
0 files changed, 0 insertions, 0 deletions