diff --git a/dune-workspace b/dune-workspace
deleted file mode 100644
index e69de29bb..000000000