diff options
| author | Pierre-Marie Pédrot | 2013-12-22 18:27:18 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-22 18:27:49 +0100 |
| commit | 1f78ba4e8d20ee22819673018940c3cc973ebafe (patch) | |
| tree | 4c77cb3869fa5946899ed255c300fcd8295e354b /kernel/nativecode.ml | |
| parent | a1404eb5ab24e8cf61a69eda04ff65088dcd2846 (diff) | |
Slight code cleaning ensuring more static invariants in Rewrite.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions