1 files changed, 1 insertions, 1 deletions

diff --git a/obs.ipkg b/obs.ipkg
index 7346579..df5db66 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -14,10 +14,10 @@ modules
   , Obs.NormalForm
   , Obs.NormalForm.Normalise
   , Obs.Parser
-  , Obs.Sort
   , Obs.Substitution
   , Obs.Syntax
   , Obs.Term
   , Obs.Typing
   , Obs.Typing.Context
   , Obs.Typing.Conversion
+  , Obs.Universe