1 files changed, 5 insertions, 0 deletions
diff --git a/lib/sail.c b/lib/sail.c
index 2e9f5874..c3fbe3b4 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -176,6 +176,11 @@ void string_take(sail_string *dst, sail_string s, sail_int ns)
 
 /* ***** Sail integers ***** */
 
+uint64_t sail_int_get_ui(const mpz_t op)
+{
+  return mpz_get_ui(op);
+}
+
 inline
 bool EQUAL(mach_int)(const mach_int op1, const mach_int op2)
 {