diff --git a/spot/twa/twagraph.hh b/spot/twa/twagraph.hh
index 9842aee1d..40d029491 100644
--- a/spot/twa/twagraph.hh
+++ b/spot/twa/twagraph.hh
@@ -434,7 +434,7 @@ namespace spot
 
     acc_cond::mark_t state_acc_sets(unsigned s) const
     {
-      assert(prop_state_acc() || num_sets() == 0);
+      assert((bool)prop_state_acc() || num_sets() == 0);
       for (auto& t: g_.out(s))
 	// Stop at the first edge, since the remaining should be
 	// labeled identically.
@@ -444,7 +444,7 @@ namespace spot
 
     bool state_is_accepting(unsigned s) const
     {
-      assert(prop_state_acc() || num_sets() == 0);
+      assert((bool)prop_state_acc() || num_sets() == 0);
       for (auto& t: g_.out(s))
 	// Stop at the first edge, since the remaining should be
 	// labeled identically.
diff --git a/spot/twaalgos/minimize.cc b/spot/twaalgos/minimize.cc
index 22d394455..495933369 100644
--- a/spot/twaalgos/minimize.cc
+++ b/spot/twaalgos/minimize.cc
@@ -660,7 +660,7 @@ namespace spot
     if (product(min_aut_f, aut_neg_f)->is_empty())
       {
 	// Complement the minimized WDBA.
-	assert(min_aut_f->prop_weak());
+	assert((bool)min_aut_f->prop_weak());
 	auto neg_min_aut_f = remove_fin(dtwa_complement(min_aut_f));
 	if (product(aut_f, neg_min_aut_f)->is_empty())
 	  // Finally, we are now sure that it was safe
diff --git a/spot/twaalgos/remfin.cc b/spot/twaalgos/remfin.cc
index 412e0c6a1..1da01bf22 100644
--- a/spot/twaalgos/remfin.cc
+++ b/spot/twaalgos/remfin.cc
@@ -153,7 +153,7 @@ namespace spot
 	     acc_cond::mark_t inf_alone,
 	     acc_cond::mark_t fin_alone)
     {
-      assert(aut->prop_state_acc());
+      assert((bool)aut->prop_state_acc());
 
       scc_info si(aut);
       // For state-based Rabin automata, we check each SCC for