1 files changed, 1 insertions, 0 deletions
diff --git a/soas.ipkg b/soas.ipkg
index 5255261..88c49db 100644
--- a/soas.ipkg
+++ b/soas.ipkg
@@ -22,6 +22,7 @@ modules = SOAS
     , SOAS.Family
     , SOAS.Strength
     , SOAS.Structure
+    , SOAS.Syntax
     , SOAS.Theory
     , SOAS.Var