[Clingo] Update to v5.7.1

[ReubenJ]

No description provided.

[giordano]

https://buildkite.com/julialang/yggdrasil/builds/10723#018faa26-2b6d-4846-8a5c-8d2ea5668ad7/669-1055

[10:30:49] [ 55%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o
[10:30:49] cd /workspace/srcdir/clingo/build/libgringo && /opt/bin/x86_64-linux-gnu-libgfortran3-cxx11/x86_64-linux-gnu-g++ --sysroot=/opt/x86_64-linux-gnu/x86_64-linux-gnu/sys-root/ -DCLINGO_MAP_TYPE=0 -I/workspace/srcdir/clingo/libgringo -I/workspace/srcdir/clingo/build/libgringo/src -I/workspace/srcdir/clingo/clasp/libpotassco -I/workspace/srcdir/clingo/libreify -I/workspace/srcdir/clingo/third_party/ordered-map/include -I/workspace/srcdir/clingo/third_party/hopscotch-map/include -I/workspace/srcdir/clingo/third_party/sparse-map/include -I/workspace/srcdir/clingo/third_party/optional/include -I/workspace/srcdir/clingo/third_party/variant/include -I/workspace/srcdir/clingo/third_party/wide-integer -O3 -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -MF CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o.d -o CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -c /workspace/srcdir/clingo/libgringo/src/ground/instantiation.cc
[...]
[10:30:56] In file included from /workspace/srcdir/clingo/libgringo/gringo/output/literals.hh:36:0,
[10:30:56]                  from /workspace/srcdir/clingo/libgringo/gringo/output/statements.hh:29,
[10:30:56]                  from /workspace/srcdir/clingo/libgringo/gringo/output/output.hh:31,
[10:30:56]                  from /workspace/srcdir/clingo/libgringo/gringo/ground/instantiation.hh:28,
[10:30:56]                  from /workspace/srcdir/clingo/libgringo/src/ground/instantiation.cc:25:
[10:30:56] /workspace/srcdir/clingo/libgringo/gringo/output/theory.hh: In member function ‘size_t Gringo::Output::TheoryData::AtomHash::operator()(const Id_t&) const’:
[10:30:56] /workspace/srcdir/clingo/libgringo/gringo/output/theory.hh:230:88: error: converting to ‘const std::tuple<unsigned int, Potassco::Span<unsigned int>, unsigned int, unsigned int>’ from initializer list would use explicit constructor ‘constexpr std::tuple< <template-parameter-1-1> >::tuple(_UElements&& ...) [with _UElements = {unsigned int, Potassco::Span<unsigned int>, const unsigned int&, const unsigned int&}; <template-parameter-2-2> = void; _Elements = {unsigned int, Potassco::Span<unsigned int>, unsigned int, unsigned int}]’
[10:30:56]                  ? operator()({atom.term(), atom.elements(), *atom.guard(), *atom.rhs()})
[10:30:56]                                                                                         ^
[10:30:56] /workspace/srcdir/clingo/libgringo/gringo/output/theory.hh:231:60: error: converting to ‘const std::tuple<unsigned int, Potassco::Span<unsigned int> >’ from initializer list would use explicit constructor ‘constexpr std::tuple<_T1, _T2>::tuple(_U1&&, _U2&&) [with _U1 = unsigned int; _U2 = Potassco::Span<unsigned int>; <template-parameter-2-3> = void; _T1 = unsigned int; _T2 = Potassco::Span<unsigned int>]’
[10:30:56]                  : operator()({atom.term(), atom.elements()});
[10:30:56]                                                             ^
[10:30:56] make[2]: *** [libgringo/CMakeFiles/libgringo.dir/build.make:132: libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o] Error 1

[ReubenJ]

Thanks. I noticed the failing CI, but I haven't had the time to troubleshoot it yet.