summaryrefslogtreecommitdiff
path: root/lib/sail.h
diff options
context:
space:
mode:
Diffstat (limited to 'lib/sail.h')
-rw-r--r--lib/sail.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/sail.h b/lib/sail.h
index 1310dd72..53b9c6be 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -256,6 +256,7 @@ void vector_subrange_lbits(lbits *rop,
const sail_int m_mpz);
void sail_truncate(lbits *rop, const lbits op, const sail_int len);
+void sail_truncateLSB(lbits *rop, const lbits op, const sail_int len);
fbits bitvector_access(const lbits op, const sail_int n_mpz);