diff options
| author | Maxime Dénès | 2016-09-30 12:16:01 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-09-30 12:16:01 +0200 |
| commit | c78af970e1f003587fba9bebdf3ab5ca3b23face (patch) | |
| tree | da38c5210e253a81233840d1b225c129a34063d1 /kernel/nativecode.ml | |
| parent | e74c2e3df2ed40b6df34255f6638a93deb35f434 (diff) | |
Fix test-suite.
Restore subst output test file modified by mistake.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions