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 /src/options/builtin_options.toml | |
| parent | ea4355639142f10a2bc5c1aa6044d9bbc246435b (diff) | |
Generalize containsQuantifiers to hasClosure (#3722)
Diffstat (limited to 'src/options/builtin_options.toml')
0 files changed, 0 insertions, 0 deletions