diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-10-12 11:31:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-12 18:31:57 +0000 |
| commit | 97c9e6ddc22ff53408154bc3f82dae40992606f2 (patch) | |
| tree | e4efc877603e34723583a574cbaab363d3b508fc /src/expr/node_manager.h | |
| parent | 08d3d5bb9ea5164fd21764ddce445ee73bb56401 (diff) | |
Clean up occurrences of SmtEngine in comments. (#7349)
Diffstat (limited to 'src/expr/node_manager.h')
| -rw-r--r-- | src/expr/node_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 204cdb677..b526efc80 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -205,7 +205,7 @@ class NodeManager /** * Keep a count of all abstract values produced by this NodeManager. - * Abstract values have a type attribute, so if multiple SmtEngines + * Abstract values have a type attribute, so if multiple SolverEngines * are attached to this NodeManager, we don't want their abstract * values to overlap. */ |