refactor

alib2/src/automaton/State.cpp

@@ -24,8 +24,9 @@ bool State::operator < (const State& other) const {
 bool State::operator == (const State& other) const {
 	return name == other.name;
 }
+
 bool State::operator != (const State& other) const{
-	return name != other.name;
+	return !(*this == other);
 }
 std::ostream& operator<<(std::ostream& out, const State& state) {