1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrIncr.c b/src/proof/pdr/pdrIncr.c
index 8cc964e5..c59bfe1c 100644
--- a/src/proof/pdr/pdrIncr.c
+++ b/src/proof/pdr/pdrIncr.c
@@ -160,7 +160,8 @@ int IPdr_ManCheckClauses( Pdr_Man_t * p )
                 printf( "Cube[%d][%d] not inductive!\n", k, j );
             }
 
-            assert( RetValue == 1 );
+            if ( RetValue == -1 )
+                return -1;
         }
     }