From 8d7551e7f6fb0b4c9ad75e8bf71bffa54693acfd Mon Sep 17 00:00:00 2001 From: ACassimiro Date: Fri, 30 Aug 2024 16:05:56 -0300 Subject: [PATCH] Fix typo --- rust-semantics/preprocessing/arithmetic-operations.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rust-semantics/preprocessing/arithmetic-operations.md b/rust-semantics/preprocessing/arithmetic-operations.md index 3329563..cd51556 100644 --- a/rust-semantics/preprocessing/arithmetic-operations.md +++ b/rust-semantics/preprocessing/arithmetic-operations.md @@ -4,7 +4,7 @@ module RUST-INTEGER-ARITHMETIC-OPERATIONS imports RUST-SHARED-SYNTAX imports private RUST-REPRESENTATION - // Operations are implemented only for the same times, + // Operations are implemented only for the same types, // as implicit type casting (coercion) is not available // in Rust. @@ -39,4 +39,4 @@ module RUST-INTEGER-ARITHMETIC-OPERATIONS rule u128(A):Value % u128(B):Value => u128(A %uMInt B) endmodule -``` \ No newline at end of file +```