diff options
| author | Pierre-Marie Pédrot | 2018-12-23 15:17:31 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-12-23 15:20:28 +0100 |
| commit | 4ea9567b49be0582a5b2420646e5036b60aedd72 (patch) | |
| tree | fae1856e593c7e4c23bbc6ae27486a2a3b0f66fd /printing/proof_diffs.ml | |
| parent | b878216ca5e85f8164fa098b9dc0e688a212072d (diff) | |
Remove dead code from CClosure.
It seems that it was a remnant of a time where Reductionops would share the
same data types.
Diffstat (limited to 'printing/proof_diffs.ml')
0 files changed, 0 insertions, 0 deletions