From 8ef5acd615377fcde0313d48d9fa09baada35aa9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 30 May 2017 13:08:51 -0700
Subject: [PATCH] feat(util/numerics/mpz): add test_bit

---
 src/util/numerics/mpz.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/numerics/mpz.h b/src/util/numerics/mpz.h
index ea01ae63d6..f73cdf826f 100644
--- a/src/util/numerics/mpz.h
+++ b/src/util/numerics/mpz.h
@@ -7,11 +7,11 @@ Author: Leonardo de Moura
 #pragma once
 #include <cstddef>
 #include <gmp.h>
+#include <string>
 #include <iostream>
 #include "util/debug.h"
 #include "util/serializer.h"
 #include "util/numerics/numeric_traits.h"
-#include <string>
 
 namespace lean {
 class mpq;
@@ -174,7 +174,7 @@ public:
     friend mpz operator^(mpz a, mpz const & b) { return a ^= b; }
     friend mpz operator~(mpz a) { a.comp(); return a; }
 
-    bool test_bit(mpz const & bit) { return false; } // TODO
+    bool test_bit(size_t bit) const { return mpz_tstbit(m_val, bit) != 0; }
 
     // this <- this + a*b
     void addmul(mpz const & a, mpz const & b) { mpz_addmul(m_val, a.m_val, b.m_val); }