From 5b01ce32dda6d0096e44fcef86ab63c65fdf2214 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 30 Jun 2019 23:01:03 +0200 Subject: [PATCH] * spot/tl/simplify.cc: Fix typos in tracing code. --- spot/tl/simplify.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spot/tl/simplify.cc b/spot/tl/simplify.cc index db8e5cdef..ef144e293 100644 --- a/spot/tl/simplify.cc +++ b/spot/tl/simplify.cc @@ -291,7 +291,7 @@ namespace spot { if (!f1.is_psl_formula() || !f2.is_psl_formula()) return false; - trace << "[CN] Does (" << str_psl(f1) << ") implies !(" + trace << "[CN] Does (" << str_psl(f1) << ") imply !(" << str_psl(f2) << ") ?" << std::endl; if (lcc.contained_neg(f1, f2)) { @@ -305,12 +305,12 @@ namespace spot } } - // Return true if f1 => !f2 + // Return true if !f1 => f2 bool neg_contained(formula f1, formula f2) { if (!f1.is_psl_formula() || !f2.is_psl_formula()) return false; - trace << "[NC] Does (" << str_psl(f1) << ") implies !(" + trace << "[NC] Does !(" << str_psl(f1) << ") imply (" << str_psl(f2) << ") ?" << std::endl; if (lcc.neg_contained(f1, f2)) { @@ -332,7 +332,7 @@ namespace spot implication_neg(formula f1, formula f2, bool right) { trace << "[IN] Does " << (right ? "(" : "!(") - << str_psl(f1) << ") implies " + << str_psl(f1) << ") imply " << (right ? "!(" : "(") << str_psl(f2) << ") ?" << std::endl; if ((options.synt_impl && syntactic_implication_neg(f1, f2, right))