Missing EXPORTs (for Windows) in includes.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2539 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 5b1ab9a806
1 changed files with 3 additions and 3 deletions
--- 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();

 //------------------------------------------------------------------------------