diff options
author | Alice Frosi <afrosi@redhat.com> | 2023-02-27 13:21:39 +0100 |
---|---|---|
committer | Alice Frosi <afrosi@redhat.com> | 2023-02-27 13:21:39 +0100 |
commit | 33750f1e9cf151d64e77f73a0f632b6de586a30e (patch) | |
tree | 37996690717f8ee1d9c00d1e504582d5f3b8494f /gluten.h | |
parent | b46f5dba8b990cdbb7c3e6f9217da09dbe251372 (diff) | |
download | seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.gz seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.bz2 seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.lz seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.xz seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.zst seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.zip |
seitan: add op_end
The op_end signal to terminate reading the operations. This is useful
for the introductions of branches for the matches.
Diffstat (limited to 'gluten.h')
-rw-r--r-- | gluten.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -51,6 +51,7 @@ enum op_type { OP_INJECT_A, OP_RETURN, OP_COPY_ARGS, + OP_END, }; enum value_type { |