diff --git a/rust-semantics/rust-common-syntax.md b/rust-semantics/rust-common-syntax.md
index d2d12cf..48780b3 100644
--- a/rust-semantics/rust-common-syntax.md
+++ b/rust-semantics/rust-common-syntax.md
@@ -771,7 +771,7 @@ https://doc.rust-lang.org/reference/items/extern-crates.html
 
 ```k
 
-  syntax RangePattern ::= IntegerLiteral ".." IntegerLiteral // "TODO: not needed yet, not implementing"
+  syntax RangePattern ::= Expression ".." Expression // "TODO: not needed yet, not implementing"
 
 ```