From 1fdc953b77121bfac53d672e4843099e208b6bde Mon Sep 17 00:00:00 2001
From: David Speck <davidjakob.speck@gmail.com>
Date: Wed, 24 Apr 2024 10:33:03 +0200
Subject: [PATCH] fixed an assertion

---
 .../symbolic/plan_reconstruction/sym_solution_registry.cc       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/search/symbolic/plan_reconstruction/sym_solution_registry.cc b/src/search/symbolic/plan_reconstruction/sym_solution_registry.cc
index 48ebc8d00..d80411939 100644
--- a/src/search/symbolic/plan_reconstruction/sym_solution_registry.cc
+++ b/src/search/symbolic/plan_reconstruction/sym_solution_registry.cc
@@ -145,7 +145,7 @@ void SymSolutionRegistry::expand_actions(const ReconstructionNode &node) {
 
             // We have sucessfully reconstructed to the initial state
             if (swap_to_bwd_phase(new_node)) {
-                assert(fw_closed->get_start_states() == new_node.get_states());
+                assert(fw_closed->get_start_states() * new_node.get_states() != sym_vars->zeroBDD());
                 BDD middle_state = new_node.get_middle_state(fw_closed->get_start_states());
                 ReconstructionNode bw_node(0, new_node.get_h(),
                                            numeric_limits<int>::max(), middle_state,