From f1eced21ab5fb1882d9026cbaaedd461a420a686 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Fri, 24 Nov 2006 09:38:31 +0000
Subject: [PATCH] rm io mode BENCHMARK

---
 iostream/src/CGAL/io.cpp | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

diff --git a/iostream/src/CGAL/io.cpp b/iostream/src/CGAL/io.cpp
index 1505a061f12..228341385d0 100644
--- a/iostream/src/CGAL/io.cpp
+++ b/iostream/src/CGAL/io.cpp
@@ -66,13 +66,6 @@ set_pretty_mode(std::ios& i)
     return m;
 }
 
-IO::Mode
-set_benchmark_mode(std::ios& i)
-{
-    return set_mode( i, IO::BENCHMARK );
-}
-
-
 IO::Mode
 set_mode(std::ios& i, IO::Mode m)
 {
@@ -100,14 +93,8 @@ is_binary(std::ios& i)
     return i.iword(IO::mode) == IO::BINARY;
 }
 
-bool
-is_benchmark(std::ios& i)
-{
-    return i.iword(IO::mode) == IO::BENCHMARK;
-}
-
 const char* mode_name( IO::Mode m) {
-    static const char* const names[] = {"ASCII", "PRETTY", "BENCHMARK", "BINARY" };
+    static const char* const names[] = {"ASCII", "PRETTY", "BINARY" };
     CGAL_assertion( IO::ASCII <= m && m <= IO::BINARY );
     return names[m];
 }