From 1a4a32a1c534063171cac06e34775ae6528e1081 Mon Sep 17 00:00:00 2001 From: PBerger Date: Sat, 21 Sep 2013 01:41:17 +0200 Subject: [PATCH] Next take at static modifiers for Clang. Former-commit-id: f15c1b89342f2ed0eff0bf2364c8651fbc83ae4b --- resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c b/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c index 51fea46c0..0b7395494 100644 --- a/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c +++ b/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c @@ -351,7 +351,7 @@ DddmpWriteNodeIndexCnfBis ( *****************************************************************************/ -static int +int DddmpWriteNodeIndexCnf ( DdNode *f /* IN: BDD node */, int *cnfIds /* IN: possible source for the index to be written */, @@ -386,7 +386,7 @@ DddmpWriteNodeIndexCnf ( ******************************************************************************/ -static int +int DddmpReadNodeIndexCnf ( DdNode *f /* IN: BDD node */ ) @@ -447,7 +447,7 @@ DddmpClearVisitedCnfRecur ( ******************************************************************************/ -static int +int DddmpVisitedCnf ( DdNode *f /* IN: BDD node to be tested */ ) @@ -469,7 +469,7 @@ DddmpVisitedCnf ( ******************************************************************************/ -static void +void DddmpSetVisitedCnf ( DdNode *f /* IN: BDD node to be marked (as visited) */ )