From 1794bd37cddc9ba24b9b1f517ee813e238f62ae4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Mar 2011 21:02:29 -0700
Subject: Made gate library package Mio independent of CUDD.

---
 src/map/super/super.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/super/super.c')

diff --git a/src/map/super/super.c b/src/map/super/super.c
index 6483547e..2cc52a44 100644
--- a/src/map/super/super.c
+++ b/src/map/super/super.c
@@ -260,7 +260,7 @@ int Super_CommandSupergates( Abc_Frame_t * pAbc, int argc, char **argv )
     fclose( pFile );
 
     // set the new network
-    pLib = Mio_LibraryRead( pAbc, FileName, ExcludeFile, fVerbose );
+    pLib = Mio_LibraryRead( FileName, ExcludeFile, fVerbose );
     if ( pLib == NULL )
     {
         fprintf( pErr, "Reading library has failed.\n" );
-- 
cgit v1.2.3