diff --git a/index.scip b/index.scip
deleted file mode 100644
index 28733ae2c33..00000000000
Binary files a/index.scip and /dev/null differ