index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
bugs
/
closed
/
bug_8725.v
blob: c888b9e96d2964fbc3a636a3448d500da91eb3ef (
plain
)
1
2
Set
Warnings
"+local-declaration"
.
Fail
Let
foo
:
True
.
