1 files changed, 2 insertions, 0 deletions
diff --git a/py/misc.h b/py/misc.h
index 0c8161d10..5eb662409 100644
--- a/py/misc.h
+++ b/py/misc.h
@@ -156,4 +156,6 @@ void vstr_vprintf(vstr_t *vstr, const char *fmt, va_list ap);
 // Debugging helpers
 int DEBUG_printf(const char *fmt, ...);
 
+extern uint mp_verbose_flag;
+
 #endif // _INCLUDED_MINILIB_H