diff options
Diffstat (limited to 'src/bdd/cudd/cuddZddSetop.c')
-rw-r--r-- | src/bdd/cudd/cuddZddSetop.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/bdd/cudd/cuddZddSetop.c b/src/bdd/cudd/cuddZddSetop.c index 3b8cdcc5..332607b9 100644 --- a/src/bdd/cudd/cuddZddSetop.c +++ b/src/bdd/cudd/cuddZddSetop.c @@ -107,10 +107,6 @@ static char rcsid[] DD_UNUSED = "$Id: cuddZddSetop.c,v 1.25 2004/08/13 18:04:54 /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -123,10 +119,6 @@ static void zddVarToConst (DdNode *f, DdNode **gp, DdNode **hp, DdNode *base, Dd /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ |