diff --git a/src/data_file.ml b/src/data_file.ml
deleted file mode 100644
index e69de29b..00000000