diff options
Diffstat (limited to 'math/gringo/files/patch-libgringo_src_term.cc')
| -rw-r--r-- | math/gringo/files/patch-libgringo_src_term.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/math/gringo/files/patch-libgringo_src_term.cc b/math/gringo/files/patch-libgringo_src_term.cc new file mode 100644 index 000000000000..eb0e5fcaf30a --- /dev/null +++ b/math/gringo/files/patch-libgringo_src_term.cc @@ -0,0 +1,10 @@ +--- libgringo/src/term.cc.orig 2018-09-25 16:02:56 UTC ++++ libgringo/src/term.cc +@@ -21,6 +21,7 @@ + #include "gringo/term.hh" + #include "gringo/logger.hh" + #include "gringo/graph.hh" ++#include <cmath> + + namespace Gringo { + |