From 0e787224199d3a39d112b238861b0fca01ba431f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 26 Jun 2019 15:37:55 +0300
Subject: Making 'dsec' return correct return value (undoing this change, made
 by mistake).

---
 src/base/abci/abcDar.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index eed4db4f..c2a25383 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -3018,7 +3018,7 @@ int Abc_NtkDarSec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, Fra_Sec_t * pSecPar )
     // perform verification
     RetValue = Fra_FraigSec( pMan, pSecPar, NULL );
     Aig_ManStop( pMan );
-    return RetValue == -1 ? -1 : !RetValue;
+    return RetValue;
 }
 
 /**Function*************************************************************
-- 
cgit v1.2.3