1 files changed, 0 insertions, 4 deletions

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