From e7f9a31b251232804b4aa007a9cd2c1590abf576 Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Wed, 14 Jan 2026 19:50:44 -0800 Subject: [PATCH] Replace remaining NULL with nullptr (#8198) * Initial plan * Replace NULL with nullptr in spacer_context.cpp Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/muz/spacer/spacer_context.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index 6917244ca..2c91e1796 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -2837,7 +2837,7 @@ unsigned context::get_cex_depth() SASSERT (preds.size () == 1); pts.push_back (&(get_pred_transformer (preds[0]))); - pts.push_back (NULL); // cex depth marker + pts.push_back (nullptr); // cex depth marker // bfs traversal of the query derivation tree for (unsigned curr = 0; curr < pts.size (); curr++) { @@ -2847,7 +2847,7 @@ unsigned context::get_cex_depth() if (pt == nullptr) { ++cex_depth; // insert new marker if there are pts at higher depth - if (curr + 1 < pts.size()) { pts.push_back(NULL); } + if (curr + 1 < pts.size()) { pts.push_back(nullptr); } continue; } fact = facts.get (curr - cex_depth); // discount the number of markers