projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b0b4f5) | patch
Fix warning in TPTP parser (#5752)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 7 Jan 2021 20:06:33 +0000 (17:06 -0300)
committerGitHub <noreply@github.com>
Thu, 7 Jan 2021 20:06:33 +0000 (14:06 -0600)
commit94c687bb12f3ba89225886b3b3eeea3f0dfdfd0a
tree439975ec225bff05c578fb0b97a7c6da505523a1tree
parent3b0b4f554841847aa529a1d95585aedcba5b0feecommit | diff
Fix warning in TPTP parser  (#5752)
src/parser/tptp/Tptp.g diff | blob | history