Making fixes for Microsoft Visual C++ compiler.

[splint.git] / src / Headers / lclMisc.h

diff --git a/src/Headers/lclMisc.h b/src/Headers/lclMisc.h
index 7b64163d7108718817614d6f0379d10f30840e9a..0c4ecd9ea8350824486ea2a74344b78fde834e99 100644 (file)
--- a/src/Headers/lclMisc.h
+++ b/src/Headers/lclMisc.h
@@ -3,8 +3,6 @@
 
 typedef        unsigned int bits;
 typedef long unsigned Handle;
-
-extern char *FormatInt (int p_i) /*@*/ ;
 extern bool firstWord (char *p_s, char *p_w);
 
 # endif