[PPL-devel] [GIT] ppl/ppl(master): Remove unimplemented and unused functions.

[Abramo Bagnara]

Module: ppl/ppl
Branch: master
Commit: 87fec489bde309305fecfb7d8a75d111c488e948
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87fec489bde309305fecfb7d8a75d111c488e948

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Mar 28 17:22:28 2009 +0100

Remove unimplemented and unused functions.

---

 src/Interval.inlines.hh |   12 ------------
 1 files changed, 0 insertions(+), 12 deletions(-)

diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh
index bee5984..84b17ce 100644
--- a/src/Interval.inlines.hh
+++ b/src/Interval.inlines.hh
@@ -137,18 +137,6 @@ f_is_empty_lazy(const T& x) {
 
 } // namespace Interval_NS
 
-inline bool
-is_integer(const char*) {
-  // FIXME(0.10.1)
-  return false;
-}
-
-inline bool
-is_not_a_number(const char*) {
-  // FIXME(0.10.1)
-  return false;
-}
-
 template <typename T>
 inline typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, bool>::type
 is_singleton_integer(const T& x) {