1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/ssc/sscUtil.c b/src/proof/ssc/sscUtil.c
index db7f772b..c88e0220 100644
--- a/src/proof/ssc/sscUtil.c
+++ b/src/proof/ssc/sscUtil.c
@@ -96,7 +96,7 @@ Gia_Man_t * Gia_ManDropContained( Gia_Man_t * p )
             Vec_IntWriteEntry( vLits, i, ConstLit ); // const1 SAT var is always true
         else 
         {
-            assert( status = l_True );
+            assert( status == l_True );
             Vec_IntPush( vKeep, i );
         }
     }