diff options
| author | Arnaud Spiwack | 2013-12-06 11:04:35 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2013-12-06 14:14:56 +0100 |
| commit | a6a87649c3e0ea205e0ad9e9536bb881ddc2e73b (patch) | |
| tree | 1012fe01b3dabe56b50835c6b0fde12526e81649 /kernel/nativecode.ml | |
| parent | 079543c80e6bee4a4e5707bcac17a965b786077f (diff) | |
Fix the refine related test-suite files to account for the new refine.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions