--- 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 {