diff options
Diffstat (limited to 'language/jib.ott')
| -rw-r--r-- | language/jib.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/jib.ott b/language/jib.ott index 558c4db7..4ab0e22e 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -73,6 +73,7 @@ op :: '' ::= % Bitvector ops | bvor :: :: bvor | bvand :: :: bvand + | concat :: :: concat | zero_extend nat :: :: zero_extend | sign_extend nat :: :: sign_extend |