diff options
| author | Maxime Dénès | 2017-05-26 18:34:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-26 18:34:20 +0200 |
| commit | d679661a6b0219e073c1740f7ed634e36ad4c2aa (patch) | |
| tree | d2c1c03b8f686325498b03c3f8c03c78ebc7b634 /interp/implicit_quantifiers.ml | |
| parent | fa400ee741c2d32427e39bd860edfcd27dc719d3 (diff) | |
| parent | 8c2c92cf47536b93e8e7377e8cfd89342325dbcc (diff) | |
Merge PR#634: Fix bug #5526, don't check for nonlinearity in notation if printing only
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions