Tried to fix some problems with the configuration system.

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

diff --git a/src/Headers/constraintOutput.h b/src/Headers/constraintOutput.h
index 96ccfcfa24e4a26fe15f7733313ccb3eecf99a97..b28b04f643122b019e912540f228c8ed20be9eeb 100644 (file)
--- a/src/Headers/constraintOutput.h
+++ b/src/Headers/constraintOutput.h
@@ -1,4 +1,3 @@
-void ConPrint (char * string, fileloc loc) /*@*/;
 
-void BPRINTF (char * string) /*@*/;
+