projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ccb1ee) | patch
Removing an unused variable from SygusInput. Resolves CID 1362932. (#1392)
authorTim King <taking@cs.nyu.edu>
Mon, 20 Nov 2017 06:24:53 +0000 (22:24 -0800)
committerGitHub <noreply@github.com>
Mon, 20 Nov 2017 06:24:53 +0000 (22:24 -0800)
commit43e5030c126aab0a275a22f5e6645083c391c436
tree756b2a0d6027e5e209bca7b219624d56c5695169tree
parent8ccb1ee50e16b2e19c1c12605c7c2163dc5af7cccommit | diff
Removing an unused variable from SygusInput. Resolves CID 1362932. (#1392)
src/parser/smt2/sygus_input.h diff | blob | history