diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-05-12 17:22:09 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-05-12 17:28:34 +0200 |
commit | f480f07c232b4bcc4ea67bf0577e267d0fdc35f4 (patch) | |
tree | 5a2fee3425393875a3f836119126661d5c1d10e2 /theories/Classes | |
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 'theories/Classes')
0 files changed, 0 insertions, 0 deletions