diff options
| author | Arnaud Spiwack | 2013-12-06 11:11:01 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2013-12-06 14:14:56 +0100 |
| commit | 2bbe6a88b840a4857f683fd6ee8cfc37ad7770c7 (patch) | |
| tree | 39370679ba80a2d8ec12639032e95519d5ba44c3 /kernel/nativecode.ml | |
| parent | a6a87649c3e0ea205e0ad9e9536bb881ddc2e73b (diff) | |
Remove duplicate test-suite file.
success/instantiate.v was a duplicate of bugs/closed/1041.v
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions