From 643aef2ecd1f1f2acc47f1cc58d9d24cb2ff50ed Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 23 Sep 2015 13:23:33 -0700
Subject: Bug fix in &rex2gia.

---
 src/aig/gia/giaRex.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaRex.c b/src/aig/gia/giaRex.c
index 55074f00..5f50f520 100644
--- a/src/aig/gia/giaRex.c
+++ b/src/aig/gia/giaRex.c
@@ -183,6 +183,7 @@ char * Gia_ManRexPreprocess( char * pStr )
     char * pCopy = ABC_CALLOC( char, strlen(pStr) * 2 + 10 );
     int i, k = 0;
     pCopy[k++] = '(';
+    pCopy[k++] = '(';
     for ( i = 0; pStr[i]; i++ )
     {
         if ( pStr[i] == '(' )
@@ -193,6 +194,7 @@ char * Gia_ManRexPreprocess( char * pStr )
             pCopy[k++] = pStr[i];
     }
     pCopy[k++] = ')';
+    pCopy[k++] = ')';
     pCopy[k++] = '\0';
     return pCopy;
 }
@@ -217,7 +219,7 @@ Gia_Man_t * Gia_ManRex2Gia( char * pStrInit, int fOrder, int fVerbose )
     }
     // start AIG
     pNew = Gia_ManStart( 1000 );
-    pNew->pName = Abc_UtilStrsav( pStr );
+    pNew->pName = Abc_UtilStrsav( pStrInit );
     for ( i = 0; i < Vec_IntSize(vAlphas) + nStates; i++ )
         Gia_ManAppendCi( pNew );
     // prepare automaton
-- 
cgit v1.2.3