diff options
| author | Gaëtan Gilbert | 2018-10-31 13:20:41 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-31 13:36:13 +0100 |
| commit | f7472bf04801ebbda372d0c16267f9d9668ec5fa (patch) | |
| tree | 8fa224d857b362956892a8a4a759e0a3bde1cbe0 /checker | |
| parent | ec73ad521123e11ad8e1c6c916de48ae30b12639 (diff) | |
No need to require List in test-suite/success/Inductive.v
Requires are slow in the debugger so removing this makes it nicer to debug.
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions