From 4a9789e58d27ecaba541ba3fcb0565a334dcd54b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 1 Jul 2008 08:01:00 -0700
Subject: Version abc80701

---
 src/aig/ntl/ntlUtil.c | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'src/aig/ntl/ntlUtil.c')

diff --git a/src/aig/ntl/ntlUtil.c b/src/aig/ntl/ntlUtil.c
index 1fb9f1c6..4fd1762c 100644
--- a/src/aig/ntl/ntlUtil.c
+++ b/src/aig/ntl/ntlUtil.c
@@ -402,14 +402,23 @@ Vec_Vec_t * Ntl_ManTransformRegClasses( Ntl_Man_t * pMan, int nSizeMax, int fVer
     {
         printf( "The number of register clases = %d.\n", nClasses );
         for ( i = 0; i <= ClassMax; i++ )
-            printf( "%d:%d  ", Class, pClassNums[i] );
+            if ( pClassNums[i] )
+                printf( "%d:%d  ", i, pClassNums[i] );
         printf( "\n" );
     }
     // skip if there is only one class
     if ( nClasses == 1 )
     {
+        vParts = NULL;
+        if ( Vec_IntSize(pMan->vRegClasses) >= nSizeMax )
+        {
+            vParts = Vec_PtrAlloc( 100 );
+            vPart = Vec_IntStartNatural( Vec_IntSize(pMan->vRegClasses) );
+            Vec_PtrPush( vParts, vPart );
+        }
+        printf( "There is only one clock domain with %d registers.\n", Vec_IntSize(pMan->vRegClasses) );
         free( pClassNums );
-        return NULL;
+        return (Vec_Vec_t *)vParts;
     }
     // create classes
     vParts = Vec_PtrAlloc( 100 );
-- 
cgit v1.2.3