diff options
| author | Pierre-Marie Pédrot | 2013-12-22 19:18:42 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-22 20:10:59 +0100 |
| commit | 0853899807f310cd56452c782c9e18ff28a751ef (patch) | |
| tree | a2543dc0faddd93f511af917ecf1c892c693f2cb /kernel/nativecode.mli | |
| parent | 1f78ba4e8d20ee22819673018940c3cc973ebafe (diff) | |
Do not pass unification flags around in Rewrite.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions