diff options
| author | Gaëtan Gilbert | 2018-10-31 14:00:38 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-31 14:07:06 +0100 |
| commit | baa8812294d48bf9d0e6e62a39440e9ffb2b93e2 (patch) | |
| tree | e25e1aeda78f88ee0006bd9e332538829c9e0316 /default.nix | |
| parent | 5c951efbc27e6061f80b839d7a1c862d8fb4c587 (diff) | |
Fix #8876: expected number of arguments for cumulative constructors
ee573583701c8e53e8b82978998a9df93170cd79 ported to the checker.
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions