diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-02-27 19:34:42 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-27 16:34:42 -0600 |
| commit | cc9a1b02cb8b1920c2a16825b3ff58acdef4dce8 (patch) | |
| tree | 38cf20075c7aeb24de77d205fefe752c9c9ce613 /src/parser/cvc/Cvc.g | |
| parent | a93b9c5a18bce93e2d66d1e98f13f69f0c193359 (diff) | |
Changing TPTP parser to accomodate new API (#3837)
Removing dependency of kinds corresponding to expressions.
Diffstat (limited to 'src/parser/cvc/Cvc.g')
0 files changed, 0 insertions, 0 deletions