1 files changed, 5 insertions, 0 deletions
diff --git a/src/proof/arith_proof.h b/src/proof/arith_proof.h
index a1df24fac..c70754a1f 100644
--- a/src/proof/arith_proof.h
+++ b/src/proof/arith_proof.h
@@ -167,6 +167,11 @@ public:
   void printAliasingDeclarations(std::ostream& os,
                                  std::ostream& paren,
                                  const ProofLetMap& globalLetMap) override;
+
+  /**
+   * Return whether this node, when serialized to LFSC, has sort `Bool`. Otherwise, the sort is `formula`.
+   */
+  bool printsAsBool(const Node& n) override;
 };