Merge branch '1.3.x'

Conflicts:
	NEWS

1 files changed, 2 insertions, 2 deletions

diff --git a/src/expr/command.h b/src/expr/command.h
index a3d58e5dd..0d173faf6 100644
--- a/src/expr/command.h
+++ b/src/expr/command.h
@@ -156,7 +156,7 @@ protected:
 public:
   virtual ~CommandStatus() throw() {}
   void toStream(std::ostream& out,
-                OutputLanguage language = language::output::LANG_AST) const throw();
+                OutputLanguage language = language::output::LANG_AUTO) const throw();
   virtual CommandStatus& clone() const = 0;
 };/* class CommandStatus */
 
@@ -211,7 +211,7 @@ public:
   virtual void invoke(SmtEngine* smtEngine, std::ostream& out) throw();
 
   virtual void toStream(std::ostream& out, int toDepth = -1, bool types = false, size_t dag = 1,
-                        OutputLanguage language = language::output::LANG_AST) const throw();
+                        OutputLanguage language = language::output::LANG_AUTO) const throw();
 
   std::string toString() const throw();