diff --git a/aconversions/src/fa2re/StateElimination.cpp b/aconversions/src/fa2re/StateElimination.cpp
index 90535ae132c5cd325a4e0039e826cbb24a15acfd..1d5f542ede4dd5a579c3d1dc773213d3e3ed1f73 100644
--- a/aconversions/src/fa2re/StateElimination.cpp
+++ b/aconversions/src/fa2re/StateElimination.cpp
@@ -204,7 +204,7 @@ bool StateElimination::TransitionExtendedNFA::operator<( const StateElimination:
 {
     if( m_from != x.m_from )
         return m_from < x.m_from;
-    else if( ! ( m_regexp == x.m_regexp ) )
+    else if( m_regexp != x.m_regexp )
         return m_regexp < x.m_regexp;
     else
         return m_to < x.m_to;
diff --git a/aconversions/src/re2fa/Brzozowski.cpp b/aconversions/src/re2fa/Brzozowski.cpp
index 023b21608c1f1af154fd917a20167b932752c34f..1ba137b7ff542b05b630cc17790e4a6589947bb5 100644
--- a/aconversions/src/re2fa/Brzozowski.cpp
+++ b/aconversions/src/re2fa/Brzozowski.cpp
@@ -88,9 +88,9 @@ Brzozowski::BrzozowskiTransition::BrzozowskiTransition( const RegExp & from, con
 
 bool Brzozowski::BrzozowskiTransition::operator<( const BrzozowskiTransition & x ) const
 {
-    if( ! ( m_from == x.m_from ) )
+    if( m_from != x.m_from )
         return m_from < x.m_from;
-    else if( ! ( m_regexpSymbol == x.m_regexpSymbol ) )
+    else if( m_regexpSymbol != x.m_regexpSymbol )
         return m_regexpSymbol < x.m_regexpSymbol;
     else
         return m_to < x.m_to;