* src/misc/const_sel.hh: Delete.

* src/misc/Makefile.am (misc_HEADERS): Remove const_sel.hh.

ChangeLog

 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.

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 = \

src/misc/const_sel.hh

-#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