mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-03 06:04:53 +00:00
41e0ceb43c
PR: 231722 Submitted by: Piotr Kubaj Approved by: portmgr (tier-2 blanket)
11 lines
225 B
C++
11 lines
225 B
C++
--- 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 {
|
|
|