diff options
| author | Jasper Hugunin | 2017-12-18 21:51:25 +0900 |
|---|---|---|
| committer | Jasper Hugunin | 2018-01-17 14:59:11 +0900 |
| commit | 2d8dcd741d229c4de57ccce9f3ab09b808ccfc94 (patch) | |
| tree | 1f1b510add53ed24ffd403a6f1e03f1095dfad5f /dev/include | |
| parent | 8ea2a8307a8d96f8275ebbd9bd4cbd1f6b0a00c6 (diff) | |
Let dtauto recognize '@sigT A (fun _ => B)' as a conjunction
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions