diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2018-10-28 09:49:51 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2018-10-28 09:49:51 +0000 |
| commit | 41e0ceb43c8ed56ceaa370c7a5ad102ae2dda8f7 (patch) | |
| tree | 4ee511fd1cc04c17f805aea240df3c1835c1ec3e /math/gringo/files | |
| parent | d4d87f21368277439d519b13637dc668fc4054ff (diff) | |
Notes
Diffstat (limited to 'math/gringo/files')
| -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 { + |