X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/Headers/misc.h

diff --git a/src/Headers/misc.h b/src/Headers/misc.h
index 35244e4..3afd2b4 100644
--- a/src/Headers/misc.h
+++ b/src/Headers/misc.h
@@ -35,7 +35,6 @@ extern long unsigned longUnsigned_fromInt (int p_x) /*@*/  /*@ensures result ==
 
 # include "mstring.h"
 
-
 extern int int_compare (/*@sef@*/ int p_x, /*@sef@*/ int p_y) /*@*/ ;
 # define int_compare(x,y) (((x) > (y)) ? 1 : (((x) < (y)) ? -1 : 0))