From b556c2591e8dc6e35d523971aa467bce4ad6200e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 27 Feb 2014 21:11:05 -0800
Subject: Changes to LUT mappers.

---
 src/opt/dau/dau.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/opt')

diff --git a/src/opt/dau/dau.h b/src/opt/dau/dau.h
index 2e56899b..051abb7d 100644
--- a/src/opt/dau/dau.h
+++ b/src/opt/dau/dau.h
@@ -99,6 +99,7 @@ extern char *        Dau_DsdMerge( char * pDsd0i, int * pPerm0, char * pDsd1i, i
 
 /*=== dauNonDsd.c  ==========================================================*/
 extern Vec_Int_t *   Dau_DecFindSets( word * pInit, int nVars );
+extern void          Dau_DecSortSet( unsigned set, int nVars, int * pnUnique, int * pnShared, int * pnFree );
 extern void          Dau_DecPrintSets( Vec_Int_t * vSets, int nVars );
 extern void          Dau_DecPrintSet( unsigned set, int nVars, int fNewLine );
 
-- 
cgit v1.2.3