diff options
| author | Enrico Tassi | 2014-02-21 15:13:07 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-02-26 14:53:08 +0100 |
| commit | 23a33c1a7781e35faf83ed4c7e42df8c8803e64e (patch) | |
| tree | 02ed94f3bb58df9e58732421b6430ba9d76f4eac /kernel/make-opcodes | |
| parent | 969f56084f2c9eac670e47852518a3ca11fb0174 (diff) | |
fix checker w.r.t. mutual_inductive_body and constant_body
discrepancy introduced in commit d3eac3d5fc8e5af499eb8750ca08ead8562dac6f
Diffstat (limited to 'kernel/make-opcodes')
0 files changed, 0 insertions, 0 deletions