2 files changed, 1 insertions, 11 deletions
diff --git a/src/util/index.h b/src/util/index.h
index 4c03af5b0..252f7066b 100644
--- a/src/util/index.h
+++ b/src/util/index.h
@@ -21,6 +21,7 @@
 
 #include <stdint.h>
 #include <boost/static_assert.hpp>
+#include <limits>
 
 namespace CVC4 {
 
diff --git a/src/util/utility.h b/src/util/utility.h
index 2084ccafb..089be478d 100644
--- a/src/util/utility.h
+++ b/src/util/utility.h
@@ -67,17 +67,6 @@ inline InputIterator find_if_unique(InputIterator first, InputIterator last, Pre
   return (match2 == last) ? match : last;
 }
 
-template <class T>
-inline T gcd(T a, T b) {
-  while (b != 0) {
-    T t = b;
-    b = a % t;
-    a = t;
-  }
-  return a;
-}
-
-
 }/* CVC4 namespace */
 
 #endif /* __CVC4__UTILITY_H */