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

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

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index e81b56345d141ae43aa07a93acf56646c24aca18..dcf4e269fc69c7eaeb2337dca9fd6f8173fa66f5 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -114,7 +114,8 @@ flags_processFlags (bool p_inCommandLine,
                    fileIdList p_lclfiles,
                    fileIdList p_mtfiles,
                    cstringList *p_passThroughArgs,
-                   int p_argc, /*@null@*/ char **p_argv)
+                   int p_argc, 
+                   /*@null@*/ char **p_argv)
      /*@requires maxRead(p_argv) >= (p_argc - 1) @*/
      /* returns true if normal, false if execution should exit */ ;