diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-03-12 08:03:05 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-03-12 11:09:57 +0100 |
| commit | 7478ad7cc600753ba2609254657c87cacc27e8fc (patch) | |
| tree | a9140e9ca445c901054a57afebef7e4795d5d123 /interp/constrexpr_ops.ml | |
| parent | a6d048a2de62bba97948fee2937dc5ea2fad0c83 (diff) | |
A more explicit name to the asymmetric boolean flag.
Diffstat (limited to 'interp/constrexpr_ops.ml')
0 files changed, 0 insertions, 0 deletions