From 971ec721578ac0ac50ae2dded1a70de5a1beb0b7 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 26 Jan 2016 13:16:52 -0800
Subject: [PATCH] fix(util/lp/numeric_pair): include cmath

---
 src/util/lp/numeric_pair.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/lp/numeric_pair.h b/src/util/lp/numeric_pair.h
index e3fc7d357..432ec664d 100644
--- a/src/util/lp/numeric_pair.h
+++ b/src/util/lp/numeric_pair.h
@@ -6,6 +6,7 @@
 */
 #pragma once
 #include <string>
+#include <cmath>
 #include <algorithm>
 #include "util/numerics/mpq.h"
 #include "util/numerics/double.h"