diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-15 17:55:06 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-15 17:55:06 -0600 |
| commit | aac53f510e1f21a46a49cb31475a8851a3097089 (patch) | |
| tree | c05c3bb737b6efde6857d7249eabfcd597c7b99c /src/theory/quantifiers_engine.h | |
| parent | d027f24ed72556c240b43c0fa3282927f9344c3e (diff) | |
Move trigger trie to own file (#5680)
Also updates minor things to meet coding standards and makes it so that children in the trie are not dynamically allocated.
Diffstat (limited to 'src/theory/quantifiers_engine.h')
| -rw-r--r-- | src/theory/quantifiers_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers_engine.h b/src/theory/quantifiers_engine.h index 8dcaf668f..5af914a9f 100644 --- a/src/theory/quantifiers_engine.h +++ b/src/theory/quantifiers_engine.h @@ -24,7 +24,7 @@ #include "context/cdlist.h" #include "expr/attribute.h" #include "expr/term_canonize.h" -#include "theory/quantifiers/ematching/trigger.h" +#include "theory/quantifiers/ematching/trigger_trie.h" #include "theory/quantifiers/equality_query.h" #include "theory/quantifiers/first_order_model.h" #include "theory/quantifiers/fmf/model_builder.h" |