diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-07-26 20:52:15 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-26 20:52:15 -0500 |
| commit | 22ef16d1108dd0e42da203ca4d453fbdd128a8d6 (patch) | |
| tree | ceaa27c3827e704964eb8c8bd7dc268bf44d677b /src/expr | |
| parent | f5d32970e5601ce0b4246cef5bca0636425fdc34 (diff) | |
Miscellaneous fixes from proof-new (#6914)
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/bound_var_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/bound_var_manager.h b/src/expr/bound_var_manager.h index b619a36e2..507cebab3 100644 --- a/src/expr/bound_var_manager.h +++ b/src/expr/bound_var_manager.h @@ -77,7 +77,7 @@ class BoundVarManager Node mkBoundVar(Node n, const std::string& name, TypeNode tn) { Node v = mkBoundVar<T>(n, tn); - setNameAttr(n, name); + setNameAttr(v, name); return v; } //---------------------------------- utilities for computing Node hash |