Add arith_shiftr to C and OCaml libraries

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index b50a5a4c..1a123cf4 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -330,6 +330,7 @@ void shift_bits_right_arith(lbits *rop, const lbits op1, const lbits op2);
 
 void shiftl(lbits *rop, const lbits op1, const sail_int op2);
 void shiftr(lbits *rop, const lbits op1, const sail_int op2);
+void arith_shiftr(lbits *rop, const lbits op1, const sail_int op2);
 
 void reverse_endianness(lbits*, lbits);