From b59eafa9cc7709cea4fb612bb3943c1a5922d424 Mon Sep 17 00:00:00 2001
From: "fuder.eth" <139509124+vtjl10@users.noreply.github.com>
Date: Thu, 23 Jan 2025 12:58:59 +0100
Subject: [PATCH] Update SymbolicTypes.cpp

---
 libsolidity/formal/SymbolicTypes.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/libsolidity/formal/SymbolicTypes.cpp b/libsolidity/formal/SymbolicTypes.cpp
index f8e1ebbdc805..72739bccfb91 100644
--- a/libsolidity/formal/SymbolicTypes.cpp
+++ b/libsolidity/formal/SymbolicTypes.cpp
@@ -126,15 +126,15 @@ SortPointer smtSort(frontend::Type const& _type)
 				tupleName = tupleSort->name;
 			else if (isContract(*baseType))
 				// use a common sort for contracts so inheriting contracts do not cause conflicting SMT types
-				// solc handles types mismtach
+				// solc handles types mismatch
 				tupleName = "contract";
 			else if (isFunction(*baseType))
 				// use a common sort for functions so pure and view modifier do not cause conflicting SMT types
-				// solc handles types mismtach
+				// solc handles types mismatch
 				tupleName = "function";
 			else if (isAddress(*baseType))
 				// use a common sort for address and address payable so it does not cause conflicting SMT types
-				// solc handles types mismtach
+				// solc handles types mismatch
 				tupleName = "address";
 			else if (
 				baseType->category() == frontend::Type::Category::Integer ||