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 | |
parent | 4983832f0e72d1e1a01654a1f5c2d270d3db8602 (diff) |
Removing a potentially invalid comparison in the TPTP parser. (#1091)
Diffstat (limited to 'src/compat')
0 files changed, 0 insertions, 0 deletions