diff options
| author | Maxime Dénès | 2015-07-02 16:17:05 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-07-02 16:17:05 +0200 |
| commit | f59426dc74b86acebcda489f51453e036c3db451 (patch) | |
| tree | 98737ab611d42142c0d5c1a4efb75f5a42196618 /kernel/nativelib.ml | |
| parent | 27de0f2d7e5cd0cc4b221413dfe3c7b739104350 (diff) | |
Remove a line from test-suite.
Triggers a bug in declarative mode. Waiting for someone to volunteer and fix
the bug, but meanwhile I'm trying to fix the test-suite.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions