projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
More unused code elimination (#2358)
[cvc5.git]
/
src
/
theory
/
quantifiers
/
inst_match.cpp
diff --git
a/src/theory/quantifiers/inst_match.cpp
b/src/theory/quantifiers/inst_match.cpp
index 091c3b6737d812e0dd998d24a837a5ad903d1553..a16e03420c5a544d18789b16998b1f2fe022adc0 100644
(file)
--- a/
src/theory/quantifiers/inst_match.cpp
+++ b/
src/theory/quantifiers/inst_match.cpp
@@
-101,10
+101,6
@@
void InstMatch::clear() {
}
Node InstMatch::get(int i) const { return d_vals[i]; }
-void InstMatch::getInst(std::vector<Node>& inst) const
-{
- inst.insert(inst.end(), d_vals.begin(), d_vals.end());
-}
void InstMatch::setValue( int i, TNode n ) {
d_vals[i] = n;