From e3da60605112dd9e87d38bb8dead5cb695410af3 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Fri, 29 Aug 2008 17:22:56 +0000
Subject: [PATCH] Make the "random generator" global.

---
 Distance_2/test/Distance_2/test_distance_2.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Distance_2/test/Distance_2/test_distance_2.cpp b/Distance_2/test/Distance_2/test_distance_2.cpp
index fcb33c7ac6f..021906253c7 100644
--- a/Distance_2/test/Distance_2/test_distance_2.cpp
+++ b/Distance_2/test/Distance_2/test_distance_2.cpp
@@ -46,6 +46,8 @@ inline randomint::randomint()
   sequence[10] = 11;
 }
 
+randomint ri;
+
 inline double to_nt(int d)
 {
     return double(d);
@@ -84,7 +86,6 @@ struct Test {
 
   P p(int x, int y)
   {
-    randomint ri;
     int w = ri.next();
     return P(to_nt(x*w), to_nt(y*w), to_nt(w));
   }