From acde6b9f1a36c21e89e587eade3a57d636cd8f86 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 4 Feb 2011 08:08:31 +0100
Subject: [PATCH 1/1] Remove unused misc::address.

---
 misc.h | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/misc.h b/misc.h
index 84f3ca1..50a4d5d 100644
--- a/misc.h
+++ b/misc.h
@@ -40,11 +40,6 @@ namespace misc {
     extern const char str_esse[];
     extern const char str_nil[];
 
-    template <typename T>
-    struct address: public std::unary_function<T&, T*> {
-        T* operator()(T& ref) { return &ref; }
-    };
-
 }
 
 #endif // !MISC_H
-- 
2.39.5