diff options
| author | Maxime Dénès | 2014-06-02 14:46:45 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2014-07-22 18:05:01 -0400 |
| commit | 0ebd3def1fe2bae9c545e8244028197a589cf4db (patch) | |
| tree | 36a14b85fc39b93d89ce970d917c4e76f89db06a /checker/type_errors.ml | |
| parent | dcd3ec87a3bf26fab2856af720bbea5b0209cae5 (diff) | |
Fix check_inductive_codomain.
Diffstat (limited to 'checker/type_errors.ml')
0 files changed, 0 insertions, 0 deletions