X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/d719927eb175a73b13a7015498e9757010344bf5..f7aa4b367eaf2c1e928f97263bcf4da74680aff3:/putty.h

diff --git a/putty.h b/putty.h
index 6534da74..e5c641d3 100644
--- a/putty.h
+++ b/putty.h
@@ -589,6 +589,7 @@ void get_clip(void *frontend, wchar_t **, int *);
 void optimised_move(void *frontend, int, int, int);
 void set_raw_mouse_mode(void *frontend, int);
 void connection_fatal(void *frontend, char *, ...);
+void nonfatal(char *, ...);
 void fatalbox(char *, ...);
 void modalfatalbox(char *, ...);
 #ifdef macintosh