Update SMTEncoder.h

ethereum · Feb 15, 2025 · 52b1625 · 52b1625
1 parent 2f8f045
commit 52b1625
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsolidity/formal/SMTEncoder.h b/libsolidity/formal/SMTEncoder.h
@@ -508,7 +508,7 @@ class SMTEncoder: public ASTConstVisitor
 	ContractDefinition const* m_currentContract = nullptr;
 
 	/// Stores the free functions and internal library functions.
-	/// Those need to be encoded repeatedely for every analyzed contract.
+	/// Those need to be encoded repeatedly for every analyzed contract.
 	std::set<FunctionDefinition const*, ASTNode::CompareByID> m_freeFunctions;
 
 	/// Stores the context of the encoding.