diff options
Diffstat (limited to '')
| -rw-r--r-- | math/gringo/files/patch-libgringo_src_term.cc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/math/gringo/files/patch-libgringo_src_term.cc b/math/gringo/files/patch-libgringo_src_term.cc deleted file mode 100644 index eb0e5fcaf30a..000000000000 --- a/math/gringo/files/patch-libgringo_src_term.cc +++ /dev/null @@ -1,10 +0,0 @@ ---- 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 { - |