diff options
Diffstat (limited to 'src/theory/quantifiers/inst_match.cpp')
-rw-r--r-- | src/theory/quantifiers/inst_match.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/theory/quantifiers/inst_match.cpp b/src/theory/quantifiers/inst_match.cpp index 091c3b673..a16e03420 100644 --- 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; |