From f53e56e8226810ce6e13e08b6a7fab354ebb0f1b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 5 Sep 2013 01:44:44 -0700
Subject: Improved unrolling manager.

---
 src/aig/gia/giaAiger.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/aig/gia/giaAiger.c')

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 8987eea9..fd85747c 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -672,7 +672,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
                 if ( fVerbose ) printf( "Finished reading extension \"q\".\n" );
             }
             // read switching activity
-            else if ( *pCur == 's' )
+            else if ( *pCur == 'u' )
             { 
                 unsigned char * pSwitching;
                 pCur++;
@@ -1258,7 +1258,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
     // write switching activity
     if ( p->pSwitching )
     {
-        fprintf( pFile, "s" );
+        fprintf( pFile, "u" );
         Gia_FileWriteBufferSize( pFile, Gia_ManObjNum(p) );
         fwrite( p->pSwitching, 1, Gia_ManObjNum(p), pFile );
     }
-- 
cgit v1.2.3