alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

dtwasat: typo in DEBUG mode

Browse source 
* spot/twaalgos/dtwasat.cc: Update a mark check.
This commit is contained in:
Alexandre Duret-Lutz 2016-09-06 13:09:31 +02:00
parent 120118f66b
commit 851502ab93
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/dtwasat.cc
View file

@ -975,7 +975,7 @@ namespace spot
ta(q2, l, ta(q2, l,
d.cacc.mark(m), q3); d.cacc.mark(m), q3);
const char* not_ = "¬"; const char* not_ = "¬";
if (d.cacc.has(biga_, m)) if (biga_.has(m))
not_ = ""; not_ = "";
out << " ∧ " << not_ out << " ∧ " << not_
<< ta << "FC"; << ta << "FC";