diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-03-27 17:27:54 +0100 |
|---|---|---|
| committer | Sylvain Henry <sylvain@haskus.fr> | 2020-04-27 16:47:39 +0200 |
| commit | 75b9b6ebbe8326f3a2b099ab7f130960b4567618 (patch) | |
| tree | ab7bc7a31c97f78749fab3e08853d8329d7efa48 /html-test/src/QuantifiedConstraints.hs | |
| parent | 2d2587182568cc5aa4b29d401517337c32459c66 (diff) | |
Renamed UnitInfo fields
Diffstat (limited to 'html-test/src/QuantifiedConstraints.hs')
0 files changed, 0 insertions, 0 deletions