blob: 8628a1d91412bde6c5eb7b233b0cd34995af8473 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Include cmath header to get std::pow
--- gringo-4.5.2-source.orig/libgringo/src/term.cc
+++ gringo-4.5.2-source/libgringo/src/term.cc
@@ -21,6 +21,7 @@
#include "gringo/term.hh"
#include "gringo/logger.hh"
#include "gringo/graph.hh"
+#include <cmath>
namespace Gringo {
|
