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);
 }
-
+*/
 };