diff options
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. */ |