X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..4caf866b3d452c738cb276e805e48e4f1ccd2eba:/src/Headers/lclMisc.h

diff --git a/src/Headers/lclMisc.h b/src/Headers/lclMisc.h
index 7b64163..0c4ecd9 100644
--- 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