diff options
| author | Jason Gross | 2017-05-23 18:30:22 -0400 |
|---|---|---|
| committer | GitHub | 2017-05-23 18:30:22 -0400 |
| commit | 004b82086b1c546e962abeac2fe91d600a304813 (patch) | |
| tree | 09981bcf9ab61bf1733c6619854758577d9724a8 /interp/implicit_quantifiers.ml | |
| parent | a2d43679596d86033ac52c16ac137d8cf2a06412 (diff) | |
Add parsers-examples target to fiat-parsers ci
This tests a bit more of fiat-parsers, adding an extra ~3 minutes to the build.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions