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

about summary refs log tree commit diff

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

blob: e27992ed59c6842f2c60f373f270f0b6610e6fff (plain)

1
2
3

File "stdin", line 2, characters 13-14:
Error: The term "0" has type "nat" while it is expected to have type "Type".