Fixing range pattern definition working only for integer literals

Pi-Squared-Inc · Sep 20, 2024 · 89450c6 · 89450c6
1 parent 5bc1f42
commit 89450c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
 
 ```