From 9d674673a6487b0fc49effae6e28b2d2814cc17c Mon Sep 17 00:00:00 2001
From: Andreas Fabri <andreas.fabri@geometryfactory.com>
Date: Wed, 3 Feb 2016 10:19:39 +0100
Subject: [PATCH] Print out the seed.

---
 Generator/examples/Generator/random_polygon.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Generator/examples/Generator/random_polygon.cpp b/Generator/examples/Generator/random_polygon.cpp
index 0788c6c971a..cebec253e29 100644
--- a/Generator/examples/Generator/random_polygon.cpp
+++ b/Generator/examples/Generator/random_polygon.cpp
@@ -29,12 +29,13 @@ typedef CGAL::Random_points_in_square_2<Point_2, Creator> Point_generator;
 const double RADIUS = 100;
 const int MAX_POLY_SIZE = 100;
 
-int main( )
+int main()
 {
    Polygon_2            polygon;
    std::list<Point_2>   point_set;
    CGAL::Random         rand;
 
+   std::cerr << "Seed = " <<  rand.get_seed() << std::endl;
    int size = rand.get_int(4, MAX_POLY_SIZE);
 
    // copy size points from the generator, eliminating duplicates, so the