Removed a template specialization for std::less with the SafraTree.

Former-commit-id: 88209e9fee

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