diff options
| author | Paul Steckler | 2017-05-25 11:03:18 -0400 |
|---|---|---|
| committer | Paul Steckler | 2017-05-25 11:03:18 -0400 |
| commit | ec57e7bedbd6719ad1b03800d6a8d7efd1b75ee4 (patch) | |
| tree | 2be820af23eedfd121ef51cbfac788b8ccd9bf16 /interp/implicit_quantifiers.ml | |
| parent | a2d43679596d86033ac52c16ac137d8cf2a06412 (diff) | |
Bug 5546, qualify datatype constructors when needed
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions