X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6eece18e97088f220dde6b281319f35ddd40a920..17616c140fdd6df448bf3b89e258e0bcd4f0ff0d:/include/simgrid/modelchecker.h diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h index 2ddf8a9165..b4eb10c51a 100644 --- a/include/simgrid/modelchecker.h +++ b/include/simgrid/modelchecker.h @@ -19,7 +19,7 @@ #include /* size_t */ -SG_BEGIN_DECL() +SG_BEGIN_DECL XBT_PUBLIC int MC_random(int min, int max); @@ -67,6 +67,6 @@ XBT_PUBLIC void MC_ignore_global_variable(const char* var_name); #endif -SG_END_DECL() +SG_END_DECL #endif /* SIMGRID_MODELCHECKER_H */