diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-01-05 17:10:43 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-01-05 17:10:43 -0500 |
commit | bdf80c57c95d50feee39ba0999835ad545b6cfde (patch) | |
tree | 48850afc316723fe0ff8f0932c39a17a6c6a1967 /lib | |
parent | 415f477a62e6bf0776eec2ba13fc2ae05cf77735 (diff) |
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications)
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions