diff options
| author | Hugo Herbelin | 2017-08-12 13:42:01 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-02-20 10:03:03 +0100 |
| commit | 65505b835d6a77b8702d11d09e8cf6b84c529c65 (patch) | |
| tree | 68a124a0211c520f4e87bb0fc6bf2166b125676b /kernel/type_errors.ml | |
| parent | 09122b77b4f556281fec338cbb2ec43c5520dc8d (diff) | |
Adding support for re-folding notation referring to isolated "forall '(x,y), t".
Was apparently forgotten in a67bd7f9.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions