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 /Makefile.in | |
| parent | 415f477a62e6bf0776eec2ba13fc2ae05cf77735 (diff) | |
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications)
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions