diff --git a/.gitignore b/.gitignore
index e6fb7da..750baeb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,2 @@
 result
 result-*
-sid.ovh
diff --git a/sid.ovh b/sid.ovh
deleted file mode 160000
index 197c824..0000000
--- a/sid.ovh
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 197c8246234c1237b251d51d1bd54bcc9c1ba1d4