Fixed state clauses. Added obvious loop exec checking.

[splint.git] / test / tests2.5 / hoof.c

diff --git a/test/tests2.5/hoof.c b/test/tests2.5/hoof.c
index 56ff0b1749560e8a521591cebc99f992e16b1bd5..a3c868cbf2253e39130c01d22eaa44cd335c16cd 100644 (file)
--- a/test/tests2.5/hoof.c
+++ b/test/tests2.5/hoof.c
@@ -21,10 +21,10 @@ int main(void)
 void init_arr(float arr[],
              long int *j)
 {
-       long i;
-
-       *j = 2L;
-       for( i=0; i < 2L; i++ ) {
-               arr[i] = (float)(i+1);
-       }
+  long i;
+  
+  *j = 2L;
+  for (i=0; i < 2L; i++) {
+    arr[i] = (float)(i+1);
+  }
 }