build warning

NikolajBjorner · NikolajBjorner · commit 6e4a059c75ff · 2020-05-02T15:51:12.000-07:00
diff --git 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());
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ void num_occurs::process(expr * t, expr_fast_mark1 & visited) {`
`61`	`61`
`62`	`62`	`void num_occurs::validate() {`
`63`	`63`	`for (auto & kv : m_num_occurs) {`
`64`		`- SASSERT(0 < kv.m_key->get_ref_count());`
	`64`	`+ VERIFY(0 < kv.m_key->get_ref_count());`
`65`	`65`	`}`
`66`	`66`	`}`
`67`	`67`