From db725ffaf81fd90f44b1455d517a7d65a438dc84 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 30 Jun 2022 09:18:03 +0200
Subject: [PATCH] * spot/twaalgos/degen.cc (propagate_marks_here): Cleanup
 previous patch.

---
 spot/twaalgos/degen.cc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/spot/twaalgos/degen.cc b/spot/twaalgos/degen.cc
index 0c07ccfa8..333efe6e6 100644
--- a/spot/twaalgos/degen.cc
+++ b/spot/twaalgos/degen.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012-2020 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2012-2020, 2022 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -1170,7 +1170,7 @@ namespace spot
       }
     // If aut was state-based acc before, this might no longer
     // this might no longer be the case
-    if (aut->prop_state_acc() == 1)
-      aut->prop_state_acc(0);
+    if (aut->prop_state_acc().is_true())
+      aut->prop_state_acc(false);
   }
 }