From 5b1ab9a8064773b96894315fdce1cfcddc3f8fab Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 18 Mar 2011 20:16:36 +0000 Subject: [PATCH] Missing EXPORTs (for Windows) in includes. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2539 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/odd.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/include/odd.h b/prism/include/odd.h index 36844323..01ec5982 100644 --- a/prism/include/odd.h +++ b/prism/include/odd.h @@ -57,10 +57,10 @@ struct ODDNode // function prototypes -ODDNode *build_odd(DdManager *ddman, DdNode *dd, DdNode **vars, int num_vars); -int get_index_of_first_from_bdd(DdManager *ddman, DdNode *dd, DdNode **vars, int num_vars, ODDNode *odd); +EXPORT ODDNode *build_odd(DdManager *ddman, DdNode *dd, DdNode **vars, int num_vars); +EXPORT int get_index_of_first_from_bdd(DdManager *ddman, DdNode *dd, DdNode **vars, int num_vars, ODDNode *odd); EXPORT DdNode *single_index_to_bdd(DdManager *ddman, int i, DdNode **vars, int num_vars, ODDNode *odd); -int get_num_odd_nodes(); +EXPORT int get_num_odd_nodes(); //------------------------------------------------------------------------------