diff options
| author | Gaëtan Gilbert | 2019-05-22 14:57:17 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-22 14:57:17 +0200 |
| commit | 0f16d757b67b9c7e5a1aa6c1efadd9a19a53e9db (patch) | |
| tree | cc95093a05e191e2e66b329f8baa9fd7fc28fbd2 /interp/implicit_quantifiers.ml | |
| parent | e7d03413c6b8f8fbcc537a43da4c3f9ff19007ad (diff) | |
Use grep in changelog test instead of adhoc reads
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions