diff --git a/thys/Separation_Logic_Unbounded/.#ROOT b/thys/Separation_Logic_Unbounded/.#ROOT
deleted file mode 120000
--- a/thys/Separation_Logic_Unbounded/.#ROOT
+++ /dev/null
@@ -1,1 +0,0 @@
-nipkow@lapnipkow1.local.3458
\ No newline at end of file