1 files changed, 0 insertions, 17 deletions
diff --git a/cil/test/small1/testharness.h b/cil/test/small1/testharness.h
deleted file mode 100644
index a1057e3..0000000
--- a/cil/test/small1/testharness.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#ifndef printf
-  /* sm: this works with gcc-2.95 */
-  extern int printf(const char * format, ...);
-# ifdef CCURED
-   #pragma ccuredvararg("printf", printf(1))
-# endif
-#else
-  /* but in gcc-3 headers it's a macro.. */
-  #include <stdio.h>        /* printf */
-#endif
-
-extern void exit(int);
-
-/* Always call E with a non-zero number */
-#define E(n) { printf("Error %d\n", n); exit(n); }
-#define SUCCESS { printf("Success\n"); exit(0); }
-