diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-06 17:30:53 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-06 17:30:53 -0600 |
commit | babbe0e30d769b5f68cb3f36820fbb5e176de7c5 (patch) | |
tree | 3b0195271c8fdf233836ccd726e4f2c6cd03865c /test/regress/regress0/nl | |
parent | ea4355639142f10a2bc5c1aa6044d9bbc246435b (diff) |
Generalize containsQuantifiers to hasClosure (#3722)
Diffstat (limited to 'test/regress/regress0/nl')
0 files changed, 0 insertions, 0 deletions