pkgs/tools/misc/gringo/gringo-4.5.4-to_string.patch

   1 --- gringo/libgringo/gringo/bug.hh~     2014-03-10 12:19:26.000000000 -0400
   2 +++ gringo/libgringo/gringo/bug.hh      2016-11-12 07:51:55.288563663 -0500
   3 @@ -32,7 +32,7 @@
   4  #define _GLIBCXX_MAKE_MOVE_ITERATOR(_Iter) std::make_move_iterator(_Iter)
   5  #define _GLIBCXX_MAKE_MOVE_IF_NOEXCEPT_ITERATOR(_Iter) std::make_move_iterator(_Iter)
   6
   7 -#ifdef MISSING_STD_TO_STRING
   8 +#if 0
   9
  10  #include <sstream>
  11