diff options
| author |  leino <unknown> | 2014-08-13 07:24:33 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-13 07:24:33 -0700 |
| commit | 2a6bd63460d27db7fc11f7b99e231f4f587b6a70 (patch) | |
| tree | 26d89193bc29b6c469eb41a8f88b531e4f7c9513 /Test/hofs | |
| parent | 9f24fd54271e0e70aba494905416f58ff0348c7c (diff) | |
Re-included lost calls to CheckEqualityTypes_Type
Modified syntax in some tests, since predicates now require parentheses (without parentheses refers to a predicate, not an application of the predicate)
Diffstat (limited to 'Test/hofs')
0 files changed, 0 insertions, 0 deletions