diff options
| author | Hugo Herbelin | 2014-11-06 11:29:37 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-06 12:05:48 +0100 |
| commit | bc0cdb37c2117830f003a7fd8d87dbc12e4f085d (patch) | |
| tree | 504a99972483155319d62065c6da6aed0e61849e /kernel/nativelib.ml | |
| parent | 6ae459fe810a1907a0afcfe9ecf5c062cae60f17 (diff) | |
Removing "destruct" test not yet working.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions