diff --git a/empty_directory.txt b/empty_directory.txt
deleted file mode 100644
--- a/empty_directory.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-This directory is used simply because the session Complex_Bounded_Operators_Dependencies needs some directory
-even if it has no theory files.