-/* $Id$ */
-
/* amok_base - things needed in amok, but too small to constitute a module */
/* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved. */
double value;
} amok_result_t;
-void amok_base_init(void);
-void amok_base_exit(void);
+XBT_PUBLIC(void) amok_base_init(void);
+XBT_PUBLIC(void) amok_base_exit(void);
#endif /* AMOK_BASE_H */