1 files changed, 2 insertions, 1 deletions
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!