diff options
| author | Pierre Letouzey | 2015-05-12 17:22:09 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2015-05-12 17:28:34 +0200 |
| commit | f480f07c232b4bcc4ea67bf0577e267d0fdc35f4 (patch) | |
| tree | 5a2fee3425393875a3f836119126661d5c1d10e2 /kernel/nativecode.ml | |
| parent | e0a245daa30a3204ee487fe6f8d20a0674a2398c (diff) | |
Fix my previous commit on ~polyprop
Oups, sorry, I should have compiled the stdlib in full. Not only
the ~polyprop wasn't propagated properly, but Matthieu made it be
false by default somewhere instead of true. Argl...
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions