1 files changed, 1 insertions, 0 deletions

diff --git a/ROOT b/ROOT
index 844f92b..f1fdd66 100644
--- a/ROOT
+++ b/ROOT
@@ -17,6 +17,7 @@ session Spartan in spartan = Spartan_Core +
   directories
     data
   theories
+    Maybe
     List
 
 session HoTT in hott = Spartan +