diff options
Diffstat (limited to 'x86/Asm.v')
-rw-r--r-- | x86/Asm.v | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -312,6 +312,7 @@ Module Pregmap := EMap(PregEq). Definition regset := Pregmap.t val. Definition genv := Genv.t fundef unit. +Declare Scope asm. Notation "a # b" := (a b) (at level 1, only parsing) : asm. Notation "a # b <- c" := (Pregmap.set b c a) (at level 1, b at next level) : asm. |