diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:35:46 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:35:46 -0600 |
| commit | 55499c51c818ce1488c63e8e42841eb1293db922 (patch) | |
| tree | a41d6d812181858ac9fc9f10c7cd48d1412fddc2 /src/parser/tptp/tptp.cpp | |
| parent | 2f2e9fcf1fbb27f8e799aeac2372c0a9113f01aa (diff) | |
Minor fixes related to ExtTheory + incremental, fixes bug760.
Diffstat (limited to 'src/parser/tptp/tptp.cpp')
0 files changed, 0 insertions, 0 deletions