diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-13 19:48:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-13 21:48:07 -0500 |
| commit | 78c0daa482b35b95c90dd058ee4dd8a981e1337f (patch) | |
| tree | c45fe72ac96032b0e6f7ea53798443671ad08d86 /src/printer/smt2/smt2_printer.cpp | |
| parent | 84fe644cb1956119b7b35ede06ee93583eae1925 (diff) | |
Use TypeNode/Node in ArrayStoreAll (#4728)
This commit changes ArrayStoreAll to use Node/TypeNode instead of
Expr/Type.
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
| -rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 3eedee600..49f786f78 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -237,7 +237,7 @@ void Smt2Printer::toStream(std::ostream& out, case kind::STORE_ALL: { ArrayStoreAll asa = n.getConst<ArrayStoreAll>(); - out << "((as const " << asa.getType() << ") " << asa.getExpr() << ")"; + out << "((as const " << asa.getType() << ") " << asa.getValue() << ")"; break; } |