diff options
| author | glondu | 2010-10-05 16:50:24 +0000 |
|---|---|---|
| committer | glondu | 2010-10-05 16:50:24 +0000 |
| commit | 0c3ffbbacec5e61d0d7bbeb8c25ec33ce429f40d (patch) | |
| tree | 449b80991d3683fc093c619cb794991d2a968315 /plugins | |
| parent | b9dc2402758713bc9933c4561d053627086d70c9 (diff) | |
test-suite: fix success/AdvancedCanonicalStructure.v
I have no idea how this test could have ever worked... (ssreflect?
declarative mode?)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13501 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions