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
[mc] Remove the --cfg=model-check:1 flag
[simgrid.git]
/
src
/
simix
/
smx_private.h
diff --git
a/src/simix/smx_private.h
b/src/simix/smx_private.h
index
593cf07
..
dbd51ad
100644
(file)
--- a/
src/simix/smx_private.h
+++ b/
src/simix/smx_private.h
@@
-63,8
+63,6
@@
typedef struct s_smx_global {
XBT_PUBLIC_DATA(smx_global_t) simix_global;
extern unsigned long simix_process_maxpid;
XBT_PUBLIC_DATA(smx_global_t) simix_global;
extern unsigned long simix_process_maxpid;
-extern xbt_dict_t watched_hosts_lib;
-
XBT_PUBLIC(void) SIMIX_clean(void);
/******************************** Exceptions *********************************/
XBT_PUBLIC(void) SIMIX_clean(void);
/******************************** Exceptions *********************************/