From 851502ab935d75289b1d6edeb2357d02c5e44d8d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 6 Sep 2016 13:09:31 +0200
Subject: [PATCH] dtwasat: typo in DEBUG mode

* spot/twaalgos/dtwasat.cc: Update a mark check.
---
 spot/twaalgos/dtwasat.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/dtwasat.cc b/spot/twaalgos/dtwasat.cc
index 7c495f97a..6da958dae 100644
--- a/spot/twaalgos/dtwasat.cc
+++ b/spot/twaalgos/dtwasat.cc
@@ -975,7 +975,7 @@ namespace spot
                                                   ta(q2, l,
                                                      d.cacc.mark(m), q3);
                                                 const char* not_ = "¬";
-                                                if (d.cacc.has(biga_, m))
+                                                if (biga_.has(m))
                                                   not_ = "";
                                                 out <<  " ∧ " << not_
                                                     << ta << "FC";