From f06217e25a9905e5ebb9bce27ac06c456b9cf5f8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 21 Dec 2020 12:45:50 -0800
Subject: Compiler warnings.

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

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 13f8caea..7aef638d 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -36669,6 +36669,7 @@ int Abc_CommandAbc9Srm( Abc_Frame_t * pAbc, int argc, char ** argv )
         extern Gia_Man_t * Gia_ManCombSpecReduce( Gia_Man_t * p );
         pTemp = Gia_ManCombSpecReduce( pAbc->pGia );
         Abc_FrameUpdateGia( pAbc, pTemp );
+        Result = 0;
         return 0;
     }
     sprintf(pFileName,  "gsrm%s.aig", fSpeculate? "" : "s" );
-- 
cgit v1.2.3