index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
rewrite-2172.out
blob: 27b0dc1b7b06b53de85be82067343eb72a241937 (
plain
)
1
2
The command has indeed failed with message: Unable to find an instance for the variable E.
