1 files changed, 0 insertions, 11 deletions
diff --git a/stdlib/header.c b/stdlib/header.c
deleted file mode 100644
index aba20e62a1..0000000000
--- a/stdlib/header.c
+++ /dev/null
@@ -1,11 +0,0 @@
-char * runtime_name = "cslrun";
-char * errmsg = "Cannot exec cslrun.\n";
-
-int main(argc, argv)
-     int argc;
-     char ** argv;
-{
-  execvp(runtime_name, argv);
-  write(2, errmsg, sizeof(errmsg)-1);
-  return 2;
-}