diff options
Diffstat (limited to 'src/printer/smt2/smt2_printer.h')
-rw-r--r-- | src/printer/smt2/smt2_printer.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/printer/smt2/smt2_printer.h b/src/printer/smt2/smt2_printer.h index fd7e0c7ac..839c016af 100644 --- a/src/printer/smt2/smt2_printer.h +++ b/src/printer/smt2/smt2_printer.h @@ -165,6 +165,9 @@ class Smt2Printer : public cvc5::Printer /** Print get-unsat-core command */ void toStreamCmdGetUnsatCore(std::ostream& out) const override; + /** Print get-difficulty command */ + void toStreamCmdGetDifficulty(std::ostream& out) const override; + /** Print get-assertions command */ void toStreamCmdGetAssertions(std::ostream& out) const override; |