From 9b582691b7abc400dcb5faf7260f3fbd4c64fc1e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 20 Jun 2012 17:31:03 +0200 Subject: [PATCH] * src/ltlvisit/simplify.cc: Cosmetics. --- src/ltlvisit/simplify.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ltlvisit/simplify.cc b/src/ltlvisit/simplify.cc index e71e7ffd6..74eaa686b 100644 --- a/src/ltlvisit/simplify.cc +++ b/src/ltlvisit/simplify.cc @@ -4715,11 +4715,11 @@ namespace spot // Often we compare a literals (an atomic_prop or its negation) // to another literal. The result is necessarily false. To be - // true, the two literals would have to be equal, be we have + // true, the two literals would have to be equal, but we have // already checked that. if (f->is_in_nenoform() && g->is_in_nenoform() - && (is_atomic_prop(f) || is_unop(f, unop::Not)) - && (is_atomic_prop(g) || is_unop(g, unop::Not))) + && (is_atomic_prop(f) || is_Not(f)) + && (is_atomic_prop(g) || is_Not(g))) return false; // Cache lookup