From edd4b2a29c3a75709b6394fd205384dd0fe90e5d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 25 Jan 2013 06:19:51 +0700
Subject: Added switch &trim -V <num> to remove const POs with specific value
 <num>.

---
 src/proof/abs/absRpmOld.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/abs')

diff --git a/src/proof/abs/absRpmOld.c b/src/proof/abs/absRpmOld.c
index fd90ae01..acf664a8 100644
--- a/src/proof/abs/absRpmOld.c
+++ b/src/proof/abs/absRpmOld.c
@@ -151,7 +151,7 @@ Gia_Man_t * Abs_RpmPerformOld( Gia_Man_t * p, int fVerbose )
     }
 
     // perform input trimming
-    pNew = Gia_ManDupTrimmed( p, 1, 0, 0 );
+    pNew = Gia_ManDupTrimmed( p, 1, 0, 0, -1 );
     if ( fVerbose )
     {
         printf( "After PI trimming:\n" );
-- 
cgit v1.2.3