1 files changed, 1 insertions, 1 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h
index 068c79330..bfc1dc64a 100644
--- a/src/printer/printer.h
+++ b/src/printer/printer.h
@@ -135,7 +135,7 @@ class Printer
                                    const std::vector<Node>& vars,
                                    TypeNode range,
                                    bool isInv,
-                                   TypeNode sygusType) const;
+                                   TypeNode sygusType = TypeNode::null()) const;
 
   /** Print constraint command */
   virtual void toStreamCmdConstraint(std::ostream& out, Node n) const;