Commiting Merge of changes made in semester and ver 2.5M

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

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index 3d8df02877ee7e5e6ad3203e8b2160ac33d404ba..d70e18cbd34a149aa9129a14c2e6543aae2703b0 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -1,7 +1,20 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
-** See ../LICENSE for license information.
+** Copyright (c) Massachusetts Institute of Technology 1994-1998.
+**          All Rights Reserved.
+**          Unpublished rights reserved under the copyright laws of
+**          the United States.
 **
+** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
+** OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
+**
+** This code is distributed freely and may be used freely under the 
+** following conditions:
+**
+**     1. This notice may not be removed or altered.
+**
+**     2. Works derived from this code are not distributed for
+**        commercial gain without explicit permission from MIT 
+**        (for permission contact lclint-request@sds.lcs.mit.edu).
 */
 # ifndef FLAGS_H
 # define FLAGS_H
@@ -15,7 +28,7 @@ typedef enum
   FK_EXPOSURE, FK_FORMAT, FK_GLOBAL, FK_GLOBALS, FK_HEADERS,
   FK_HELP, FK_IGNORERET, FK_INIT, FK_ITER, FK_LIBS, FK_LIMITS,
   FK_MACROS, FK_MEMORY, FK_MODIFIES, FK_NAMES, FK_NONE,
-  FK_NULL, FK_OPS, FK_PRED, FK_PREPROC, FK_SECRET,
+  FK_NULL, FK_NT, FK_OPS, FK_PRED, FK_PREPROC, FK_SECRET,
   FK_SUPPRESS, FK_SYNTAX, FK_TYPE, FK_TYPEEQ, FK_NUMBERS, 
   FK_POINTER, FK_UNRECOG, FK_USE, FK_BOOL, FK_ALIAS, 
   FK_PROTOS, FK_SPEC,