Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/misc.h b/src/Headers/misc.h
index 35244e4d7c1f78525b2b3ef3c886624bc822c57d..3afd2b4c319b03b3f99c4f1e304a86cd82c9672e 100644 (file)
--- 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))