diff options
Diffstat (limited to 'aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen')
| -rw-r--r-- | aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen b/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen index 6fbb3eb2..b8fe851c 100644 --- a/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen +++ b/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen @@ -1,3 +1,4 @@ +| `AArch64Unallocated -> Unallocated | `AArch64TMStart t -> TMStart (translate_reg "t" t) | `AArch64TMCommit -> TMCommit |