diff options
Diffstat (limited to 'ia32/Asm.v')
-rw-r--r-- | ia32/Asm.v | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ (* *) (* *********************************************************************) -(** Abstract syntax and semantics for PowerPC assembly language *) +(** Abstract syntax and semantics for IA32 assembly language *) Require Import Coqlib. Require Import Maps. |