From 3459683e3b5ee9bb3f155fff3bf1041c840266c4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 16 Aug 2013 13:13:38 -0700
Subject: Extending 'permute' to handle user-specified flop permutation.

---
 src/map/mpm/mpmPre.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/map/mpm/mpmPre.c')

diff --git a/src/map/mpm/mpmPre.c b/src/map/mpm/mpmPre.c
index f3a4bb08..a1462342 100644
--- a/src/map/mpm/mpmPre.c
+++ b/src/map/mpm/mpmPre.c
@@ -894,7 +894,7 @@ void Ifd_ComputeSignature( word uTruth, int pCounts[6] )
     }
     Vec_IntSelectSort( pCounts, 6 );
 }
-int Ifd_ManDsdTest() 
+int Ifd_ManDsdTest33() 
 {
     int nVars = 6;
     Vec_Wrd_t * vTruths = Ifd_ManDsdTruths( nVars );
@@ -926,7 +926,7 @@ int Ifd_ManDsdTest()
   SeeAlso     []
 
 ***********************************************************************/
-int Ifd_ManDsdTest33() 
+int Ifd_ManDsdTest() 
 {
     int nVars = 6;
     FILE * pFile;
-- 
cgit v1.2.3