Added support for or constraints.

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

diff --git a/src/Headers/constraintOutput.h b/src/Headers/constraintOutput.h
new file mode 100644 (file)
index 0000000..96ccfcf
--- /dev/null
+++ b/src/Headers/constraintOutput.h
@@ -0,0 +1,4 @@
+void ConPrint (char * string, fileloc loc) /*@*/;
+
+void BPRINTF (char * string) /*@*/;
+