diff options
| author | Pierre-Marie Pédrot | 2014-03-07 20:50:30 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-07 21:00:02 +0100 |
| commit | dd2a0175e3e35e5488c6f3b8a68c68845cbfcfd3 (patch) | |
| tree | 2b61640b942b39650dec17ca077f28b5363aa843 /plugins/xml/doubleTypeInference.ml | |
| parent | 89e59b9a578fa761ebc12e3a8e01c3b838301266 (diff) | |
Using Hashmaps by default in constant and inductive maps. This changes fold and
iter order, but it seems nobody was relying on it (contrarily to the string case).
Diffstat (limited to 'plugins/xml/doubleTypeInference.ml')
0 files changed, 0 insertions, 0 deletions