From 04826fdf5df81d178e22cd3d02a4e0fd7e799573 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sven=20Sch=C3=B6nherr?= <sven@inf.ethz.ch>
Date: Mon, 26 May 1997 12:12:09 +0000
Subject: [PATCH] #include <stdlib.h> moved from Random.C to Random.h

---
 Packages/Random_numbers/web/Random.aw | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Packages/Random_numbers/web/Random.aw b/Packages/Random_numbers/web/Random.aw
index f356cb6d331..035b83e735b 100644
--- a/Packages/Random_numbers/web/Random.aw
+++ b/Packages/Random_numbers/web/Random.aw
@@ -164,7 +164,6 @@ In the default constructor the seed is initialized using the system
 time.
 
 @macro <Random constructors> = @begin
-    #include <stdlib.h>
     #include <sys/time.h>
 
     CGAL_Random::
@@ -351,6 +350,7 @@ numbers.
     #ifndef CGAL_BASIC_H
     #  include <CGAL/basic.h>
     #endif
+    #include <stdlib.h>
 
     @<Random interface>