1 files changed, 2 insertions, 1 deletions
diff --git a/unify.ipkg b/unify.ipkg
index 06f2f78..7b0e0dd 100644
--- a/unify.ipkg
+++ b/unify.ipkg
@@ -7,5 +7,6 @@ options = "--total"
 depends = contrib
 
 modules
-  = Data.Maybe.Properties
+  = Data.Fin.Occurs
+  , Data.Maybe.Properties
   , Data.Term