diff options
| author | Pierre-Marie Pédrot | 2017-03-29 23:16:06 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-04-24 17:59:20 +0200 |
| commit | 1ef92c718ece547826f4c7e5c1ce78a6965e1ca6 (patch) | |
| tree | af3b774894e26419f496d92af7acfadc6466e247 /kernel/nativevalues.ml | |
| parent | 0cc7ed04a6a6db666da08a724df3998c1e4888f9 (diff) | |
Removing trivial compatibility layer in refl_omega.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions