My personal project and infrastructure archive
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
--- gringo/libgringo/src/term.cc~ 2016-07-12 23:56:10.593577749 -0400
|
|
+++ gringo/libgringo/src/term.cc 2016-07-12 23:52:35.169968338 -0400
|
|
@@ -22,6 +22,8 @@
|
|
#include "gringo/logger.hh"
|
|
#include "gringo/graph.hh"
|
|
|
|
+#include <cmath>
|
|
+
|
|
namespace Gringo {
|
|
|
|
// {{{ definition of Defines
|
|
|
