diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-30 18:57:24 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-30 18:57:24 -0700 |
commit | 19f223e580b527bc17add2ea4e61e85df2977c87 (patch) | |
tree | 087d8bb7a18300d54d4f11525b8566f5c60ce6a7 /src/theory/builtin | |
parent | 56cd2e8f584ed36fd76144a622355511a4b09935 (diff) |
Rename SmtEngine to SolverEngine. (#7282)
Diffstat (limited to 'src/theory/builtin')
-rw-r--r-- | src/theory/builtin/theory_builtin_type_rules.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/builtin/theory_builtin_type_rules.h b/src/theory/builtin/theory_builtin_type_rules.h index 00649a5af..54139c433 100644 --- a/src/theory/builtin/theory_builtin_type_rules.h +++ b/src/theory/builtin/theory_builtin_type_rules.h @@ -101,8 +101,8 @@ class AbstractValueTypeRule { inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) { // An UnknownTypeException means that this node has no type. For now, // only abstract values are like this---and then, only if they are created - // by the user and don't actually correspond to one that the SmtEngine gave - // them previously. + // by the user and don't actually correspond to one that the SolverEngine + // gave them previously. throw UnknownTypeException(n); } };/* class AbstractValueTypeRule */ |