From e9e40789c14c170bc8da4ab72f335a2e3521f91c Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 30 Nov 2021 17:57:11 -0800
Subject: [PATCH] fix: `mpz::power` for `USE_GMP=OFF`

---
 src/runtime/mpz.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/mpz.cpp b/src/runtime/mpz.cpp
index ad8c72df9c..6c451346b9 100644
--- a/src/runtime/mpz.cpp
+++ b/src/runtime/mpz.cpp
@@ -690,7 +690,7 @@ mpz & mpz::operator%=(mpz const & o) {
 
 mpz mpz::pow(unsigned int p) const {
     unsigned mask = 1;
-    mpz power(p);
+    mpz power(*this);
     mpz result(1);
     while (mask <= p) {
         if (mask & p)