From 39eefd0c6e2fcce0ae0d173cb98840bdf169e870 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 3 Dec 2014 14:19:59 +0100
Subject: [PATCH] * src/misc/random.cc: Declare the generator as static.

---
 src/misc/random.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/misc/random.cc b/src/misc/random.cc
index 2c62413b7..6eac054f4 100644
--- a/src/misc/random.cc
+++ b/src/misc/random.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2012, 2013 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// Copyright (C) 2011, 2012, 2013, 2014 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
@@ -25,7 +25,7 @@
 
 namespace spot
 {
-  std::mt19937 gen;
+  static std::mt19937 gen;
 
   void
   srand(unsigned int seed)