diff options
Diffstat (limited to 'src/printer/ast/ast_printer.h')
-rw-r--r-- | src/printer/ast/ast_printer.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/printer/ast/ast_printer.h b/src/printer/ast/ast_printer.h index da5785f9f..fd4775da4 100644 --- a/src/printer/ast/ast_printer.h +++ b/src/printer/ast/ast_printer.h @@ -173,16 +173,16 @@ class AstPrinter : public cvc5::Printer * tn declared via declare-sort or declare-datatype. */ void toStreamModelSort(std::ostream& out, - const smt::Model& m, - TypeNode tn) const override; + TypeNode tn, + const std::vector<Node>& elements) const override; /** * To stream model term. This prints the appropriate output for term * n declared via declare-fun. */ void toStreamModelTerm(std::ostream& out, - const smt::Model& m, - Node n) const override; + const Node& n, + const Node& value) const override; /** * To stream with let binding. This prints n, possibly in the scope * of letification generated by this method based on lbind. |