1 files changed, 8 insertions, 0 deletions
diff --git a/src/aig/ssw/sswSimSat.c b/src/aig/ssw/sswSimSat.c
index 3fa39612..715750ca 100644
--- a/src/aig/ssw/sswSimSat.c
+++ b/src/aig/ssw/sswSimSat.c
@@ -113,6 +113,14 @@ int Ssw_ManOriginalPiValue( Ssw_Man_t * p, Aig_Obj_t * pObj, int f )
     {
         if ( Aig_Regular(pObjFraig)->fPhase )  Value ^= 1;
     }
+/*
+    if ( nVarNum==0 )
+        printf( "x" );
+    else if ( Value == 0 )
+        printf( "0" );
+    else
+        printf( "1" );
+*/
     return Value;
 }