Fixed state clauses. Added obvious loop exec checking.

[splint.git] / src / flex.head

diff --git a/src/flex.head b/src/flex.head
index 0dc336a0b8f5688710274595b18a6519bc4b4291..19b59ccca000f79bc186057635f954824faa2f59 100644 (file)
--- a/src/flex.head
+++ b/src/flex.head
@@ -53,7 +53,6 @@
 /*@-casebreak@*/
 /*@-retvalother@*/
 
-
 /*drl added 11/27/2001*/
 /*@-arraybounds@*/
 /*@-arrayboundsread@*/