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