Fix typo

Pi-Squared-Inc · Aug 30, 2024 · 8d7551e · 8d7551e
1 parent d4b9b5c
commit 8d7551e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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
 
-```
+```