diff options
| author | Matthieu Sozeau | 2014-10-15 13:46:56 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-10-15 13:46:56 +0200 |
| commit | 347c4888e07cf76c7e1c6672ccfa89f86a0f11ea (patch) | |
| tree | 083133886b1fa53fdcd064f6b98fa9f3a23004be /dev/base_include | |
| parent | 0307d06ac50caaa38d980a05f6ac3b0685720411 (diff) | |
Fix test-suite files which failed due to usage of $(admit)$ which
now fails with Error: Already an existential evar of name Main
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions