diff --git a/libsolidity/formal/SMTChecker.cpp b/libsolidity/formal/SMTChecker.cpp
index 477568a0a..ebb09f0a9 100644
--- a/libsolidity/formal/SMTChecker.cpp
+++ b/libsolidity/formal/SMTChecker.cpp
@@ -323,9 +323,6 @@ void SMTChecker::endVisit(UnaryOperation const& _op)
 			);
 		break;
 	}
-	case Token::Add: // +
-		defineExpr(_op, expr(_op.subExpression()));
-		break;
 	case Token::Sub: // -
 	{
 		defineExpr(_op, 0 - expr(_op.subExpression()));