model-checker : fix dpor

[simgrid.git] / include / xbt / RngStream.h

diff --git a/include/xbt/RngStream.h b/include/xbt/RngStream.h
index a2ca811..cb3041f 100644 (file)
--- a/include/xbt/RngStream.h
+++ b/include/xbt/RngStream.h
@@ -1,8 +1,8 @@
- 
+
 /* RngStream.h for ANSI C */
 #ifndef RNGSTREAM_H
 #define RNGSTREAM_H
- 
+
 #include "misc.h"
 
 typedef struct RngStream_InfoState * RngStream;
@@ -24,6 +24,9 @@ XBT_PUBLIC(RngStream) RngStream_CreateStream (const char name[]);
 XBT_PUBLIC(void) RngStream_DeleteStream (RngStream *pg);
 
 
+XBT_PUBLIC(RngStream) RngStream_CopyStream (const RngStream src);
+
+
 XBT_PUBLIC(void) RngStream_ResetStartStream (RngStream g);
 
 
@@ -58,8 +61,8 @@ XBT_PUBLIC(double) RngStream_RandU01 (RngStream g);
 
 
 XBT_PUBLIC(int) RngStream_RandInt (RngStream g, int i, int j);
- 
+
 
 #endif
- 
+