fix ROOT

1 files changed, 1 insertions, 1 deletions

diff --git a/ROOT b/ROOT
index c960fd7..cc0badd 100644
--- a/ROOT
+++ b/ROOT
@@ -14,7 +14,7 @@ session Spartan in spartan = Spartan_Core +
     Type theory based on Spartan, but with a few more bells and whistles.
   "
   directories
-    data
+    lib
   theories
     More_Types
     Maybe