1 files changed, 4 insertions, 3 deletions
diff --git a/proofs/lfsc_checker/expr.cpp b/proofs/lfsc_checker/expr.cpp
index 7ffc6469a..ae0e49531 100644
--- a/proofs/lfsc_checker/expr.cpp
+++ b/proofs/lfsc_checker/expr.cpp
@@ -234,6 +234,7 @@ Expr* Expr::make_app(Expr* e1, Expr* e2 )
       counter = 0;
       while( ((CExpr*)e1)->kids[counter] ){
          ret->kids[counter] = ((CExpr*)e1)->kids[counter];
+         ret->kids[counter]->inc();
          counter++;
       }
       ret->kids[counter] = e2;
@@ -346,8 +347,8 @@ Expr* CExpr::convert_to_tree_app( Expr* e )
   if( e->getop()==APP )
   {
     std::vector< Expr* > kds;
-    int counter = 1;
-    while( ((CExpr*)e)->kids[counter] )
+    int counter = 1;
+    while( ((CExpr*)e)->kids[counter] )
     {
       kds.push_back( convert_to_tree_app( ((CExpr*)e)->kids[counter] ) );
       counter++;
@@ -963,4 +964,4 @@ void SymExpr::smark( int m )
 {
   mark_map[this] = m;
 }
-#endif
-\ No newline at end of file
+#endif