Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.

[splint.git] / src / constraintOutput.c

diff --git a/src/constraintOutput.c b/src/constraintOutput.c
index 6b89d15a4ab88106c0d165443c9e638904ea3845..51294c11df724e8b7e474fb52a5c04018f39019c 100644 (file)
--- a/src/constraintOutput.c
+++ b/src/constraintOutput.c
@@ -10,19 +10,4 @@
 //FLG_BUFF
 //FLG_NULLTERMINATED
 
-void ConPrint (char * string, fileloc loc)
-{
-  if (context_getFlag (testingFlag ) )
-    {
-      voptgenerror (testingFlag, string, loc);
-    }
-  
-}
 
-void BPRINTF (char * string)
-{
- if (context_getFlag (testingFlag ) )
-   {
-     DPRINTF( (message ("%s", string) ) );
-   }
-}