From 609e64401f6ccd38c1a4a6e48361c6fcc456e4fc Mon Sep 17 00:00:00 2001 From: degomme Date: Wed, 29 Jul 2015 11:27:48 +0200 Subject: [PATCH] forgotten XBT_PUBLIC --- include/xbt/misc.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/xbt/misc.h b/include/xbt/misc.h index 3d29597a53..c1cf657b85 100644 --- a/include/xbt/misc.h +++ b/include/xbt/misc.h @@ -30,7 +30,7 @@ XBT_PUBLIC(const char *) xbt_procname(void); XBT_PUBLIC(void) sg_version(int *major,int *minor,int *patch); /** Helps ensuring that the header version (SIMGRID_VERSION_MAJOR and friends) and the dynamic library version do match. */ -void sg_version_check(int lib_version_major,int lib_version_minor,int lib_version_patch); +XBT_PUBLIC(void) sg_version_check(int lib_version_major,int lib_version_minor,int lib_version_patch); /** Contains all the parameters we got from the command line */ XBT_PUBLIC_DATA(xbt_dynar_t) sg_cmdline; -- 2.20.1