aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/ErrorLocation_tac_in_term_2.out
blob: 5bff5ede4333cc6759bf47383fd43efcaa42dc53 (plain)
1
2
3
4
File "stdin", line 4, characters 12-20:
Error:
The term "true" has type "bool" while it is expected to have type "nat".