From 879e217fe69d3c95f99f9ca813b075a72c004950 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 28 Jul 2018 20:28:53 -0700
Subject: [PATCH] limits -> climits

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/approx_nat.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/approx_nat.h b/src/util/approx_nat.h
index be5fc4fb6..354ead92b 100644
--- a/src/util/approx_nat.h
+++ b/src/util/approx_nat.h
@@ -21,7 +21,7 @@ Notes:
 #define APPROX_NAT_H_
 
 #include<iostream>
-#include<limits>
+#include<climits>
 
 class approx_nat {
     unsigned m_value;