Merged code tree with Dave Evans's version. Many changes to numberous to list....

[splint.git] / src / constraintOutput.c

diff --git a/src/constraintOutput.c b/src/constraintOutput.c
index 51294c11df724e8b7e474fb52a5c04018f39019c..6ed34684cc3e7eddc84deb4841056b8e1e39af8f 100644 (file)
--- a/src/constraintOutput.c
+++ b/src/constraintOutput.c
@@ -6,7 +6,7 @@
 # include "basic.h"
 # include "portab.h"
 
-#define testingFlag  FLG_BUFFEROVERFLOW
+
 //FLG_BUFF
 //FLG_NULLTERMINATED