From 3a4200ae5ff9d81ffe6743907c716ff59bb9c355 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 2 Jul 2018 18:32:03 -0700
Subject: [PATCH] null -> nullptr

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 e17006165..bba373369 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -321,7 +321,7 @@ class mpz_manager {
     };
     
     void mk_big(mpz & a) {
-        if (a.m_ptr == null) {
+        if (a.m_ptr == nullptr) {
             a.m_val = 0;
             a.m_ptr = allocate();
             a.m_owner = mpz_self;