diff options
Diffstat (limited to 'riscV/Asm.v')
| -rw-r--r-- | riscV/Asm.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscV/Asm.v b/riscV/Asm.v index cbe3476a..15c3dab4 100644 --- a/riscV/Asm.v +++ b/riscV/Asm.v @@ -93,6 +93,7 @@ Module Pregmap := EMap(PregEq). (** Conventional names for stack pointer ([SP]) and return address ([RA]). *) +Declare Scope asm. Notation "'SP'" := X2 (only parsing) : asm. Notation "'RA'" := X1 (only parsing) : asm. |