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

about summary refs log tree commit diff

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

blob: 434275eca516ad2093a8fcc27bffbb1e2ec0273c (plain)

1
2
3

File "stdin", line 3, characters 9-10:
Error: The term "0" has type "nat" while it is expected to have type "Type".