Readded files.

[splint.git] / src / dummy.c

diff --git a/src/dummy.c b/src/dummy.c
new file mode 100644 (file)
index 0000000..15abc35
--- /dev/null
+++ b/src/dummy.c
@@ -0,0 +1,3 @@
+# include "lclintMacros.nf"
+# include "llbasic.h"
+# include "gram.h"