1 files changed, 4 insertions, 0 deletions

diff --git a/foo.c b/foo.c
new file mode 100644
index 0000000..9bdde01
--- /dev/null
+++ b/foo.c
@@ -0,0 +1,4 @@
+
+#ifndef PRED
+#error HI
+#endif