diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-09-19 13:17:04 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-19 13:17:04 -0700 |
| commit | b62abe729cd029af9ab3e27f7f1a7cde28bb4b08 (patch) | |
| tree | d4e8a46a346f051e315685931641e7c6d17cc371 /src/compat/cvc3_compat.cpp | |
| parent | 4983832f0e72d1e1a01654a1f5c2d270d3db8602 (diff) | |
Removing a potentially invalid comparison in the TPTP parser. (#1091)
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
0 files changed, 0 insertions, 0 deletions