2 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/int/int.h b/src/aig/int/int.h
index c9c5cd1a..1487b9bf 100644
--- a/src/aig/int/int.h
+++ b/src/aig/int/int.h
@@ -57,6 +57,7 @@ struct Inter_ManParams_t_
     int  fCheckKstep;   // check using K-step induction
     int  fUseBias;      // bias decisions to global variables
     int  fUseBackward;  // perform backward interpolation
+    int  fUseSeparate;  // solve each output separately
     int  fVerbose;      // print verbose statistics
 };
 
diff --git a/src/aig/int/intCore.c b/src/aig/int/intCore.c
index cab0302f..6d29dfb9 100644
--- a/src/aig/int/intCore.c
+++ b/src/aig/int/intCore.c
@@ -53,6 +53,7 @@ void Inter_ManSetDefaultParams( Inter_ManParams_t * p )
     p->fCheckKstep  = 1;     // check using K-step induction
     p->fUseBias     = 0;     // bias decisions to global variables
     p->fUseBackward = 0;     // perform backward interpolation
+    p->fUseSeparate = 0;     // solve each output separately
     p->fVerbose     = 0;     // print verbose statistics
 }