diff options
Diffstat (limited to 'aarch64_small/gen/pretty.hgen')
| -rw-r--r-- | aarch64_small/gen/pretty.hgen | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/aarch64_small/gen/pretty.hgen b/aarch64_small/gen/pretty.hgen index 2bbf7af7..b412fdda 100644 --- a/aarch64_small/gen/pretty.hgen +++ b/aarch64_small/gen/pretty.hgen @@ -1,3 +1,6 @@ +| `AArch64Unallocated -> + "UNALLOCATED" + | `AArch64TMStart t -> sprintf "TSTART %s" (pp_regzr Set64 t) |