diff options
| author | Maxime Dénès | 2017-05-17 17:59:21 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-17 17:59:21 +0200 |
| commit | cf90eb14c78d0afd0eb52b8b36152b4e861ccfde (patch) | |
| tree | d5d256916c71c1f625db15ca4b3f9363ee664aba /kernel/cbytecodes.ml | |
| parent | 8beb75435a3ffd3c91ad08cd8b2ca42fb2bb5896 (diff) | |
| parent | b12af1535c0ba8cab23e7f9ff18f75688c0e523c (diff) | |
Merge PR#607: Make congruence reuse discriminate instead of rolling its own.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions