Bug fix from Robert de Bath: if the utf8_override setting is changed

[PuTTY.git] / misc.h

diff --git a/misc.h b/misc.h
index f4363e4412ba507270f836bb4cf448c605a4b376..9675e96188798448c593a96abca70ad0fc7d26aa 100644 (file)
--- a/misc.h
+++ b/misc.h
@@ -1,3 +1,7 @@
+/*
+ * Header for misc.c.
+ */
+
 #ifndef PUTTY_MISC_H
 #define PUTTY_MISC_H
 
@@ -24,6 +28,7 @@ char *dupstr(const char *s);
 char *dupcat(const char *s1, ...);
 char *dupprintf(const char *fmt, ...);
 char *dupvprintf(const char *fmt, va_list ap);
+void burnstr(char *string);
 
 char *fgetline(FILE *fp);