2 files changed, 8 insertions, 2 deletions
diff --git a/lib/sail.c b/lib/sail.c
index 3223dc14..62801cc7 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -1068,7 +1068,12 @@ void string_of_int(sail_string *str, const sail_int i)
   gmp_asprintf(str, "%Zd", i);
 }
 
-void string_of_bits(sail_string *str, const sail_bits op)
+void string_of_mach_bits(sail_string *str, const mach_bits op)
+{
+  exit(EXIT_FAILURE);
+}
+
+void string_of_sail_bits(sail_string *str, const sail_bits op)
 {
   if ((op.len % 4) == 0) {
     gmp_asprintf(str, "0x%*0Zx", op.len / 4, *op.bits);
diff --git a/lib/sail.h b/lib/sail.h
index afff2c65..a8651f50 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -320,7 +320,8 @@ void random_real(real *rop, unit);
 /* ***** Printing ***** */
 
 void string_of_int(sail_string *str, const sail_int i);
-void string_of_bits(sail_string *str, const sail_bits op);
+void string_of_sail_bits(sail_string *str, const sail_bits op);
+void string_of_mach_bits(sail_string *str, const mach_bits op);
 
 /*
  * Utility function not callable from Sail!