1 files changed, 3 insertions, 0 deletions

diff --git a/unify.ipkg b/unify.ipkg
index a2ab92d..06f2f78 100644
--- a/unify.ipkg
+++ b/unify.ipkg
@@ -4,5 +4,8 @@ sourcedir = "src"
 
 options = "--total"
 
+depends = contrib
+
 modules
   = Data.Maybe.Properties
+  , Data.Term