diff options
| author | Maxime Dénès | 2014-06-06 14:17:59 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2014-07-22 18:05:01 -0400 |
| commit | d82edc74c1b2c1ac735959eb12f2d3c70da17757 (patch) | |
| tree | 36a14b85fc39b93d89ce970d917c4e76f89db06a /checker/type_errors.ml | |
| parent | b481063272e15949abe7fc16e2ba47b16bc2197c (diff) | |
Revert "Extend subterm relation to pattern matching in return predicates."
This reverts commit ec1bb8a981fef14b58ab65483244fc42b05aef13.
Diffstat (limited to 'checker/type_errors.ml')
0 files changed, 0 insertions, 0 deletions