diff options
| author | Matthieu Sozeau | 2016-05-19 13:01:19 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-06-16 18:21:08 +0200 |
| commit | 1fda28c317a2394aa3ee84e0e680e878333c8782 (patch) | |
| tree | 1f87845554f8bba09e4d77d5a6ccd1a8e1b80e01 /kernel/cbytecodes.ml | |
| parent | 46388674943195e5d64340d54553c98d5698a68e (diff) | |
setoid_rewrite: fix the Params resolution tactic
Add a substitution of a local variable by its body to
ensure proper unification without having to make all local
variables unfoldable.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions