projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d53203e) | patch
Removing an unused member from Tptp. Initializing members of Tptp. (#1326)
authorTim King <taking@cs.nyu.edu>
Tue, 7 Nov 2017 18:35:42 +0000 (10:35 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Nov 2017 18:35:42 +0000 (12:35 -0600)
commita2746472fb95b523dc838376c84467751f6ef764
treec197a2112b8dbefa59deb9f2da2d5911d57bad2dtree
parentd53203e51b75ac9ee94cbde611b21a56f1d58c37commit | 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.
src/parser/tptp/tptp.cpp diff | blob | history
src/parser/tptp/tptp.h diff | blob | history