diff --git a/dev.cc b/dev.cc
deleted file mode 100644
index e69de29bb2..0000000000