From 674622a3c0be8704e0d1243248dfc8b957846013 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 22 Jan 2015 13:13:30 -0800
Subject: [PATCH] Bug fix in &cone (not able to extract the last PO).

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

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index fde8c09d5..9dea1d03e 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -35080,7 +35080,7 @@ int Abc_CommandAbc9Cone( Abc_Frame_t * pAbc, int argc, char ** argv )
             Abc_FrameUpdateGia( pAbc, pTemp );
         return 0;
     }
-    if ( iOutNum < 0 || iOutNum + nOutRange >= Gia_ManPoNum(pAbc->pGia) )
+    if ( iOutNum < 0 || iOutNum + nOutRange > Gia_ManPoNum(pAbc->pGia) )
     {
         Abc_Print( -1, "Abc_CommandAbc9Cone(): Range of outputs to extract is incorrect.\n" );
         return 1;