diff --git a/src/core/lib/flags.c b/src/core/lib/flags.c
index 37302d0..fde9557 100644
--- a/src/core/lib/flags.c
+++ b/src/core/lib/flags.c
@@ -97,6 +97,11 @@ why2_bool why2_get_flags_changed(void)
     return flags_changed;
 }
 
+why2_bool why2_get_padding_changed(void)
+{
+    return padding_changed;
+}
+
 char *why2_get_memory_identifier(void)
 {
     return memory_identifier;