From 3673d21d7b4fa5ac7bc57eefa2d9c334f4cf3a8e Mon Sep 17 00:00:00 2001
From: Susan Hert <hert@mpi-sb.mpg.de>
Date: Wed, 31 Oct 2001 08:25:45 +0000
Subject: [PATCH] changed file name in header

---
 Packages/Generator/include/CGAL/Random_polygon_2_sweep.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Packages/Generator/include/CGAL/Random_polygon_2_sweep.h b/Packages/Generator/include/CGAL/Random_polygon_2_sweep.h
index d6113c8a5b9..4e84e7de536 100644
--- a/Packages/Generator/include/CGAL/Random_polygon_2_sweep.h
+++ b/Packages/Generator/include/CGAL/Random_polygon_2_sweep.h
@@ -11,7 +11,7 @@
 // release       : 
 // release_date  :
 //
-// file          : include/CGAL/Polygon_2_sweep.h
+// file          : include/CGAL/Random_polygon_2_sweep.h
 // source        :
 // author(s)     : Geert-Jan Giezeman <geert@cs.uu.nl>
 //               : Susan Hert <hert@mpi-sb.mpg.de>