ErrorLocation_tac_in_term_2.out « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/output/ErrorLocation_tac_in_term_2.out

blob: 5bff5ede4333cc6759bf47383fd43efcaa42dc53 (plain)

File "stdin", line 4, characters 12-20:
Error:
The term "true" has type "bool" while it is expected to have type "nat".