From 59ca0373a55814913c87ae70e9b4213e20cdc69d Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Sat, 21 Sep 2013 02:06:35 +0200
Subject: [PATCH] Removed a template specialization for std::less with the
 SafraTree.

Former-commit-id: 88209e9feed3e6c36e4ab836bd31d07f5fc31af3
---
 resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp
index 05dbc715e..2ac452e01 100644
--- a/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp
+++ b/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp
@@ -451,13 +451,14 @@ std::equal_to<SafraTree_ptr>::operator()
 }
 
 /** overload less for SafraTree_ptr to compare the actual trees */
+/*
 template <>
 inline bool
 std::less<SafraTree_ptr>::operator()
   (SafraTree_ptr const& x, SafraTree_ptr const& y) const {
   return (*x)<(*y);
 }
-
+*/
 };