1 files changed, 0 insertions, 4 deletions
diff --git a/cheri/ROOT b/cheri/ROOT
deleted file mode 100644
index 244413d5..00000000
--- a/cheri/ROOT
+++ /dev/null
@@ -1,4 +0,0 @@
-session "Sail-CHERI" = "Sail" +
-  options [document = false]
-  theories
-    Cheri_lemmas