Merge pull request #15757 from vtjl10/simple2

fix: typos in `SymbolicTypes.cpp`
ethereum · Jan 23, 2025 · 1115955 · 1115955
2 parents e784244 + b59eafa
commit 1115955
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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 ||