1 files changed, 7 insertions, 0 deletions
diff --git a/src/util.h b/src/util.h
index 6930b8a..922f641 100644
--- a/src/util.h
+++ b/src/util.h
@@ -60,6 +60,13 @@ const char	*Basename(const char *path);
 const char	*Dirname(const char *path);
 
 
+/* Writes the passed text to debug.txt.  Note this is interface is not
+   able to be switched on/off, so debug is only used in a transient way
+   (once the bug is fixed, calls to this should be removed).
+*/
+void		Debug(const char *format,...);
+
+
 #endif