From 6e4a059c75ffb7a46d9ac16abbb6d6d6ce46cb6e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 2 May 2020 15:51:12 -0700
Subject: [PATCH] build warning

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

diff --git a/src/ast/num_occurs.cpp b/src/ast/num_occurs.cpp
index dcbcb695c..458496da1 100644
--- a/src/ast/num_occurs.cpp
+++ b/src/ast/num_occurs.cpp
@@ -61,7 +61,7 @@ void num_occurs::process(expr * t, expr_fast_mark1 & visited) {
 
 void num_occurs::validate() {
     for (auto & kv : m_num_occurs) {
-        SASSERT(0 < kv.m_key->get_ref_count());
+        VERIFY(0 < kv.m_key->get_ref_count());
     }
 }