From 73789120c17bb857976ccf0b8f34a59832dfadee Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 20 Apr 2012 10:12:29 -0700 Subject: Misc changes. --- src/misc/util/utilNam.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/misc/util/utilNam.h') diff --git a/src/misc/util/utilNam.h b/src/misc/util/utilNam.h index fd29e537..be8067a9 100644 --- a/src/misc/util/utilNam.h +++ b/src/misc/util/utilNam.h @@ -60,6 +60,7 @@ extern int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pf extern char * Abc_NamStr( Abc_Nam_t * p, int id ); extern Vec_Int_t * Abc_NamComputeIdMap( Abc_Nam_t * p1, Abc_Nam_t * p2 ); extern int Abc_NamReportCommon( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 ); +extern char * Abc_NamReportUnique( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 ); ABC_NAMESPACE_HEADER_END -- cgit v1.2.3