diff options
| author | Guillaume Melquiond | 2020-08-31 14:10:21 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-13 15:13:23 +0100 |
| commit | 20c511d4a80c26a54004a9b44b3108669baa86c3 (patch) | |
| tree | 7f9a19abb6ad32395806fcfffd108a1004f1226d /kernel/vmemitcodes.ml | |
| parent | 0d6f8e4b12e09e8a5a7e562a80d962dca69da7af (diff) | |
Optimize Is_accu a bit.
Diffstat (limited to 'kernel/vmemitcodes.ml')
0 files changed, 0 insertions, 0 deletions