simple ITE parsing

2 files changed, 3 insertions, 3 deletions

diff --git a/src/expr/expr.h b/src/expr/expr.h
index 8d0d4f347..0bbdcd09a 100644
--- a/src/expr/expr.h
+++ b/src/expr/expr.h
@@ -132,10 +132,10 @@ public:
   /**
    * Very basic pretty printer for Expr.
    * This is equivalent to calling e.getNode().printAst(...)
-   * @param o output stream to print to.
+   * @param out output stream to print to.
    * @param indent number of spaces to indent the formula by.
    */
-  void printAst(std::ostream & o, int indent = 0) const;
+  void printAst(std::ostream & out, int indent = 0) const;
   
 private:
   
diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index 0212b4fdd..78c4f9186 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -128,7 +128,7 @@ void Node::printAst(ostream & o, int ind) const{
   if(getKind() == VARIABLE){
     o << ' ' << getId();
 
-  }else if(getNumChildren() > 1){
+  }else if(getNumChildren() >= 1){
     for(Node::iterator child = begin(); child != end(); ++child){
       (*child).printAst(o, ind+1);
     }