From 8885f9c96d950655250292ee03b54aafeb2f727f Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 15 Jun 2020 11:58:30 +0200
Subject: fix ROOT

---
 ROOT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ROOT')

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
-- 
cgit v1.2.3