Fixing warning

Pi-Squared-Inc · Sep 3, 2024 · bf9debf · bf9debf
1 parent cc5af4e
commit bf9debf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust-semantics/preprocessing/constants.md b/rust-semantics/preprocessing/constants.md
@@ -29,7 +29,7 @@ module RUST-CONSTANTS
         <constant-name> Name </constant-name>
         <constant-value> V:Value </constant-value>
 
-    rule <k> Name:Identifier::I:Identifier::.PathExprSegments => V ... </k>
+    rule <k> Name:Identifier::_:Identifier::.PathExprSegments => V ... </k>
         <constant-name> Name </constant-name>
         <constant-value> V:Value </constant-value>