ADded numabstract types.

[splint.git] / test / modifies.c

diff --git a/test/modifies.c b/test/modifies.c
index 898ed97c03be189db6ccd2fc43f72d71378404d0..854d01d42f2ae5e665d4f6e3fa05c8ef1c4a1b8e 100644 (file)
--- a/test/modifies.c
+++ b/test/modifies.c
@@ -4,8 +4,7 @@ static int mstat;
 static /*@unused@*/ int internalState;
 
 int f3 (int p[]) 
-   /*@modifies 
-     internalState, fileSystem;@*/ ; /* 1. Modifies list uses ... */
+   /*@modifies internalState, fileSystem;@*/ ; /* 1. Modifies list uses ... */
 
 int f4 (int p[]) 
    /*@modifies p[3];@*/;