From a4dfde4671ba9d0b9724b48288e47ae4beff80a2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 3 Jul 2018 06:56:37 -0700
Subject: [PATCH] fix pointer deref

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

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