ErrorLocation_tac_in_term_1.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_1.out

blob: 55ad5a36da95e1c57de7a68caf91c305b01cf409 (plain)

File "stdin", line 2, characters 21-25:
Error:
The term "true" has type "bool" while it is expected to have type "nat".