diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-12-02 20:18:10 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-12-02 20:31:54 +0100 |
| commit | fdcee15907f2cff920ba6b27d9076ca47db26150 (patch) | |
| tree | 2fcac5baabab93ee4d4079aec2bbf233b4c724a2 /.gitattributes | |
| parent | 0048cbe810c82a775558c14cd7fcae644e205c51 (diff) | |
Remove redundant Zcase from the checker.
This was redundant with ZcaseT, the only difference lying in the use or not
of fclosures for substerms. This code was removed from the kernel in commit
f2f805ed, we finish the work in the checker now.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions