Fixing bug #4289 (hash-consing only user part of constant not

compatible with a unique bound module name counter which is not
synchronous with the backtracking).

We changed hash-consing of kernel name pairs to a purely memory
management issue, not trying to exploit logical properties such as
"syntactically equal user names have syntactically same canonical
names" (which is true in a given logical session, but not in memory,
at least because of residual values after backtracking).

0 files changed, 0 insertions, 0 deletions