From 728d10efc12761053c69f99a32afd229b4f64a12 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Thu, 3 Mar 2011 15:45:55 +0000 Subject: [PATCH] Cosmetic change --- Scripts/developer_scripts/replace_CGAL_NAMESPACE.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py b/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py index f429e3b3ad9..ef3334f4517 100644 --- a/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py +++ b/Scripts/developer_scripts/replace_CGAL_NAMESPACE.py @@ -19,5 +19,5 @@ for dirname, dirnames, filenames in os.walk(argv[1]): fname=os.path.join(dirname, filename) for lines in fileinput.FileInput(fname, inplace=1): lines = lines.replace("CGAL_BEGIN_NAMESPACE","namespace CGAL {") - lines = lines.replace("CGAL_END_NAMESPACE","} //namespace CGAL") + lines = lines.replace("CGAL_END_NAMESPACE","} // end namespace CGAL") print lines,