diff options
Diffstat (limited to 'src/theory/quantifiers/instantiate.cpp')
-rw-r--r-- | src/theory/quantifiers/instantiate.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers/instantiate.cpp b/src/theory/quantifiers/instantiate.cpp index b45380f5e..5f83578df 100644 --- a/src/theory/quantifiers/instantiate.cpp +++ b/src/theory/quantifiers/instantiate.cpp @@ -378,6 +378,7 @@ bool Instantiate::addInstantiation(Node q, orig_body, q[1], maxInstLevel + 1); } } + d_treg.processInstantiation(q, terms); Trace("inst-add-debug") << " --> Success." << std::endl; ++(d_statistics.d_instantiations); return true; |