From 94be9ca3247ce86d8667057cfc1e2cae509c8526 Mon Sep 17 00:00:00 2001
From: Zhenrong Gu <me@danielgu.org>
Date: Wed, 5 Aug 2026 05:18:36 -0700
Subject: [PATCH] bugfix(grover): initialize contains_zero_val

Initialize contains_zero_val to make Grover's algorithm work properly.
---
 CFLOBDD/matmult_map.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CFLOBDD/matmult_map.cpp b/CFLOBDD/matmult_map.cpp
index 57c4fb1..6d64fcf 100644
--- a/CFLOBDD/matmult_map.cpp
+++ b/CFLOBDD/matmult_map.cpp
@@ -37,7 +37,7 @@
 
 // Constructor
 MatMultMapBody::MatMultMapBody()
-	: refCount(0), isCanonical(false)
+	: refCount(0), isCanonical(false), contains_zero_val(false)
 {
 	hashCheck = NULL;
 }
@@ -326,4 +326,4 @@ MatMultMapHandle operator* (const MatMultMapHandle& mapHandle, const VAL_TYPE& f
 	}
 	ans.Canonicalize();
 	return ans;
-}
\ No newline at end of file
+}