| Index: src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt | 
| diff --git a/src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt b/src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt | 
| deleted file mode 100644 | 
| index cb27906294718ac0cca424bc3180c60c6e2f4821..0000000000000000000000000000000000000000 | 
| --- a/src/trusted/validator/x86/testing/enuminsts/ignore_mnemonics_nacl_xex_64.txt | 
| +++ /dev/null | 
| @@ -1,36 +0,0 @@ | 
| -# Contains instructions for which nacl and xed disagree (in x86-64), but we still | 
| -# that they are ok. | 
| - | 
| -# The following are cases where xed doesn't assume a nop, but nacl does. | 
| -# | 
| - | 
| -#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop | 
| -#  XED: 0000000000001000: 40 87 c0                                     xchg eax, eax | 
| -# NaCl: 0000000000001000: 40 87 c0                                     xchg %eax, %eax | 
| -40 87 c0 | 
| - | 
| -#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop | 
| -#  XED: 0000000000001000: 42 87 c0                                     xchg eax, eax | 
| -# NaCl: 0000000000001000: 42 87 c0                                     xchg %eax, %eax | 
| -42 87 c0 | 
| - | 
| -#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop | 
| -#  XED: 0000000000001000: 48 87 c0                                     xchg rax, rax | 
| -# NaCl: 0000000000001000: 48 87 c0                                     xchg %rax, %rax | 
| -48 87 c0 | 
| - | 
| -#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop | 
| -#  XED: 0000000000001000: 4a 87 c0                                     xchg rax, rax | 
| -# NaCl: 0000000000001000: 4a 87 c0                                     xchg %rax, %rax | 
| -4a 87 c0 | 
| - | 
| -#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop | 
| -#  XED: 0000000000001000: 87 c0                                        xchg eax, eax | 
| -# NaCl: 0000000000001000: 87 c0                                        xchg %eax, %eax | 
| -87 c0 | 
| - | 
| -#**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop | 
| -#  XED: 0000000000001000: 87 c0                                        xchg eax, eax | 
| -# NaCl: 0000000000001000: 87 c0                                        xchg %eax, %eax | 
| -66 87 c0 | 
| - | 
|  |