1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dch/dch.h b/src/aig/dch/dch.h
index 38978164..7271d256 100644
--- a/src/aig/dch/dch.h
+++ b/src/aig/dch/dch.h
@@ -68,7 +68,7 @@ struct Dch_Pars_t_
 /*=== dchCore.c ==========================================================*/
 extern void          Dch_ManSetDefaultParams( Dch_Pars_t * p );
 extern Aig_Man_t *   Dch_ComputeChoices( Aig_Man_t * pAig, Dch_Pars_t * pPars );
-
+extern void          Dch_ComputeEquivalences( Aig_Man_t * pAig, Dch_Pars_t * pPars );
 
 #ifdef __cplusplus
 }