diff --git a/media/201710-presentation-devcon3.md b/media/201710-presentation-devcon3.md index d4353c2ea9..c17360eb50 100644 --- a/media/201710-presentation-devcon3.md +++ b/media/201710-presentation-devcon3.md @@ -444,7 +444,7 @@ head: andBool G >=Int 52 *Int I +Int 21 ``` -Verifing ABI compliant contracts +Verifying ABI compliant contracts -------------------------------- . . . diff --git a/usl/usl_kevm.h b/usl/usl_kevm.h index a56a3c5e92..a97d1c982e 100644 --- a/usl/usl_kevm.h +++ b/usl/usl_kevm.h @@ -10,7 +10,7 @@ namespace usl_kevm { // We use the std::uint64_t type as a place holder for various data types. The -// actual bitwidth can be found in a comment. The bitwidth is refered to as +// actual bitwidth can be found in a comment. The bitwidth is referred to as // scalar for data types that are described as arbitrary natural numbers in the // Ethereum yellow paper. @@ -168,7 +168,7 @@ using accessed_storage_list_t = std::vector; // Substate using account_address_list_t = std::vector; struct substate_t { - account_address_list_t self_destrcut; + account_address_list_t self_destruct; log_list_t log; account_address_list_t touched_accounts; ether_t refund;