diff -r 1e2391b78d17 -r c6d5ba08c62c src/basics.h
--- a/src/basics.h	Mon Apr 02 10:33:17 2018 +0300
+++ b/src/basics.h	Mon Apr 02 10:59:38 2018 +0300
@@ -78,6 +78,7 @@
 }
 
 static const double pi = 3.14159265358979323846;
+static const double inf = std::numeric_limits<double>::infinity();
 
 /*
  * Returns the norm of a vector.