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

about summary refs log tree commit diff

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

blob: a574e97e0f39ee99afbb7c6c30cb337aabf992c4 (plain)

1
2
3

File "stdin", line 1, characters 11-12:
Error: The reference a was not found in the current environment.