Drop negative symbol from DIGITS

BeMg · BeMg · commit cb3e69c2ebd3 · 2024-10-06T21:23:54.000-07:00
diff --git a/riscv-c-api.md b/riscv-c-api.md
@@ -313,8 +313,7 @@ ARCH-ATTR                 := 'arch=' EXTENSIONS
 
 PRIORITY-ATTR             := 'priority=' DIGITS
 
-DIGITS                    := '-' [0-9]+
-                           | [0-9]+
+DIGITS                    := [0-9]+
 
 EXTENSIONS             := <EXTENSION> ',' <EXTENSIONS>
                         | <EXTENSION>
