From cfa7be1a07e3102195b2395f379f50e556dbf4e3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Oct 2013 22:58:23 -0700
Subject: Integrating synthesis into the new BMC engine.

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

(limited to 'src/opt/dau/dau.h')

diff --git a/src/opt/dau/dau.h b/src/opt/dau/dau.h
index a928fecf..92641b71 100644
--- a/src/opt/dau/dau.h
+++ b/src/opt/dau/dau.h
@@ -89,7 +89,7 @@ extern int           Dau_DsdCheck1Step( word * pTruth, int nVarsInit );
 
 /*=== dauGia.c  ==========================================================*/
 extern int           Dsm_ManTruthToGia( void * p, word * pTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover );
-extern void *        Dsm_ManDeriveGia( void * p );
+extern void *        Dsm_ManDeriveGia( void * p, int fUseMuxes );
 
 /*=== dauMerge.c  ==========================================================*/
 extern void          Dau_DsdRemoveBraces( char * pDsd, int * pMatches );
-- 
cgit v1.2.3