diff options
author | 2015-09-20 00:06:33 +0200 | |
---|---|---|
committer | 2015-09-20 00:14:32 +0200 | |
commit | bfd0ee9503cf04b51b2dd40d4ad2a904b07ac323 (patch) | |
tree | 3cc2e5b414ab0b5a8aa00b2023982dc40ae00ca7 /lib/system.ml | |
parent | 04e9be59051ca60bf61d5142ac14386920876926 (diff) |
Fix #3948 Anomaly: unknown constant in Print Assumptions
Substitution on bound modules was incorrectly extended without sequential
composition.
Diffstat (limited to 'lib/system.ml')
0 files changed, 0 insertions, 0 deletions