From bdd2be3366b66f0fc092b88b7d8961b5d70e9be3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 31 Jul 2003 11:49:53 +0000
Subject: [PATCH] * src/misc/const_sel.hh: Delete. * src/misc/Makefile.am
 (misc_HEADERS): Remove const_sel.hh.

---
 ChangeLog             |  3 +++
 src/misc/Makefile.am  |  3 +--
 src/misc/const_sel.hh | 28 ----------------------------
 3 files changed, 4 insertions(+), 30 deletions(-)
 delete mode 100644 src/misc/const_sel.hh

diff --git a/ChangeLog b/ChangeLog
index 31ff89b83..27e04e320 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2003-07-31  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* src/misc/const_sel.hh: Delete.
+	* src/misc/Makefile.am (misc_HEADERS): Remove const_sel.hh.
+
 	* src/tgbaalgos/magic.cc, src/tgbaalgos/reachiter.cc: Include cassert.
 	* iface/Makefile.am (SUBDIRS): Recurse in gspn only if condition
 	WITH_GSPN.
diff --git a/src/misc/Makefile.am b/src/misc/Makefile.am
index 7a81aa43b..0696b2cf6 100644
--- a/src/misc/Makefile.am
+++ b/src/misc/Makefile.am
@@ -5,8 +5,7 @@ miscdir = $(pkgincludedir)/misc
 
 misc_HEADERS = \
   bddalloc.hh \
-  bddlt.hh \
-  const_sel.hh
+  bddlt.hh
 
 noinst_LTLIBRARIES = libmisc.la
 libmisc_la_SOURCES = \
diff --git a/src/misc/const_sel.hh b/src/misc/const_sel.hh
deleted file mode 100644
index f610710ed..000000000
--- a/src/misc/const_sel.hh
+++ /dev/null
@@ -1,28 +0,0 @@
-#ifndef SPOT_MISC_CONSTSEL_HH
-# define SPOT_MISC_CONSTSEL_HH
-
-namespace spot 
-{
-  // Be default, define the type as-is.
-  template <class T, bool WantConst>
-  struct const_sel
-  {
-    typedef T t;
-  };
-  
-  // If const is wanted, add it.
-  template <class T>
-  struct const_sel<T, true>
-  {
-    typedef const T t;
-  };
-  
-  // If const is present but isn't wanted, remove it.
-  template <class T>
-  struct const_sel<const T, false>
-  {
-    typedef const T t;
-  };
-}
-
-#endif // SPOT_MISC_CONSTSEL_HH