From f59e2ea2a8443ed12fb836a80b54a2044770d284 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 20 Jun 2012 12:02:19 +0200 Subject: [PATCH 1/1] Include "xbt/RngStream.h", and avoid duplicate definition of typedef RngStream. --- src/include/simgrid/platf_interface.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/include/simgrid/platf_interface.h b/src/include/simgrid/platf_interface.h index 3956166784..ab2a7c857a 100644 --- a/src/include/simgrid/platf_interface.h +++ b/src/include/simgrid/platf_interface.h @@ -10,6 +10,7 @@ #define SG_PLATF_INTERFACE_H #include "simgrid/platf.h" /* public interface */ +#include "xbt/RngStream.h" /* Module management functions */ void sg_platf_init(void); @@ -50,7 +51,6 @@ void sg_platf_mount_add_cb(sg_platf_mount_cb_t fct); void surf_config_models_setup(void); /* RngStream management functions */ -typedef struct RngStream_InfoState *RngStream; //Not to have to include RngStream.h void sg_platf_rng_stream_init(unsigned long seed[6]); RngStream sg_platf_rng_stream_get(const char* id); -- 2.20.1