A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : update list of visited states during the exploration with the newest...
[simgrid.git]
/
src
/
xbt_modinter.h
diff --git
a/src/xbt_modinter.h
b/src/xbt_modinter.h
index
425a010
..
8e86bf8
100644
(file)
--- a/
src/xbt_modinter.h
+++ b/
src/xbt_modinter.h
@@
-20,13
+20,14
@@
void xbt_log_postexit(void);
void xbt_fifo_preinit(void);
void xbt_fifo_postexit(void);
void xbt_fifo_preinit(void);
void xbt_fifo_postexit(void);
+void xbt_dict_preinit(void);
void xbt_dict_postexit(void);
void xbt_os_thread_mod_preinit(void);
void xbt_os_thread_mod_postexit(void);
void xbt_dict_postexit(void);
void xbt_os_thread_mod_preinit(void);
void xbt_os_thread_mod_postexit(void);
-void mmalloc_preinit(void);
+void
*
mmalloc_preinit(void);
void mmalloc_postexit(void);
void mmalloc_postexit(void);
-#endif /* XBT_MODINTER_H */
+#endif
/* XBT_MODINTER_H */