[PPL-devel] [GIT] ppl/ppl(master): Removed useless functions.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Mar 28 16:00:01 2009 +0100

Removed useless 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 566456b..bee5984 100644
--- a/src/Interval.inlines.hh
+++ b/src/Interval.inlines.hh
@@ -155,18 +155,6 @@ is_singleton_integer(const T& x) {
   return is_singleton(x) && is_integer(f_lower(x));
 }
 
-template <typename T1, typename T2>
-inline bool
-same_object(const T1&, const T2&) {
-  return false;
-}
-
-template <typename T>
-inline bool
-same_object(const T& x, const T& y) {
-  return &x == &y;
-}
-
 template <typename T>
 inline typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, bool>::type
 check_empty_arg(const T& x) {