diff options
| author | Pierre Courtieu | 2017-05-12 10:30:50 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2017-05-16 11:11:01 +0200 |
| commit | 697cd5a8e7927873ed6700c7e906ae3675bd98b1 (patch) | |
| tree | 566af56f6a9fd30fae43a94b18931a5e0453a2a6 /kernel/nativevalues.ml | |
| parent | 06f3ce00971283d2718e272ec9f123430d75ffa6 (diff) | |
Simplified compaction criterion + tests.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions