1 files changed, 1 insertions, 0 deletions
diff --git a/unify.ipkg b/unify.ipkg
index 5350848..852f133 100644
--- a/unify.ipkg
+++ b/unify.ipkg
@@ -8,6 +8,7 @@ depends = contrib
 
 modules
   = Data.Fin.Occurs
+  , Data.Fin.Strong
   , Data.Maybe.Properties
   , Data.Term
   , Data.Term.Property