Index: benchmark/c.c
===================================================================
--- benchmark/c.c	(revision e9c5db2e1f3fc3a42c60d50ab5f6d54ca846005d)
+++ 	(revision )
@@ -1,1 +1,0 @@
-int main() { return 0; }