diff options
author | Tim King <taking@cs.nyu.edu> | 2017-11-07 10:35:42 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-07 12:35:42 -0600 |
commit | a2746472fb95b523dc838376c84467751f6ef764 (patch) | |
tree | c197a2112b8dbefa59deb9f2da2d5911d57bad2d /src/theory/quantifiers/inst_strategy_enumerative.cpp | |
parent | d53203e51b75ac9ee94cbde611b21a56f1d58c37 (diff) |
Removing an unused member from Tptp. Initializing members of Tptp. (#1326)
* Removing an unused member from Tptp. Initializing members of Tptp.
* Removing delcaration for myPopCharStream.
Diffstat (limited to 'src/theory/quantifiers/inst_strategy_enumerative.cpp')
0 files changed, 0 insertions, 0 deletions