diff --git a/src/util/mpz.h b/src/util/mpz.h
index 163594047..0d72fc0a3 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -216,7 +216,7 @@ class mpz_manager {
         }
     }
 
-    void clear(mpz& n) { if (n.m_ptr) mpz_clear(n.m_ptr); }
+    void clear(mpz& n) { if (n.m_ptr) mpz_clear(*n.m_ptr); }
 #endif