From dce1272aa731aed16ce164aef1d7d74d7017b01d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= <soelvsten@cs.au.dk>
Date: Mon, 7 Oct 2024 15:16:27 +0200
Subject: [PATCH] Fix Quantify runs statistics are not recorded for
 'bdd_relnext'

---
 src/adiar/bdd/relprod.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/adiar/bdd/relprod.cpp b/src/adiar/bdd/relprod.cpp
index a93f31f86..3b8479106 100644
--- a/src/adiar/bdd/relprod.cpp
+++ b/src/adiar/bdd/relprod.cpp
@@ -311,6 +311,9 @@ namespace adiar
     case replace_type::Identity:
 #ifdef ADIAR_STATS
       internal::stats_replace.monotonic_reduces += 1u;
+      internal::stats_quantify.runs += 1u;
+      internal::stats_quantify.nested_sweeps += 1u;
+      internal::stats_quantify.nested_transposition.none += 1;
 #endif
       relnext_quantify_replace_policy quantify_replace_policy(m);
       return internal::nested_sweep<>(ep, std::move(tmp_1), quantify_replace_policy);