diff options
| author | Pierre-Marie Pédrot | 2014-04-04 20:21:06 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-04-04 20:23:19 +0200 |
| commit | bd0e8ce51ed8eb8359d198fb5d14d14381847200 (patch) | |
| tree | 1dbb836ca2d2a696196394573ac4c7225c454723 /kernel/nativecode.ml | |
| parent | f65fa9de8a4c9c12d933188a755b51508bd51921 (diff) | |
Fixing coqchk. It was my fault, I misused canonical and user equalities
when defining cache hash tables in Closure. Why it was working in 3.12
is a mystery to me.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions