1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index 73ffaf9..af236ce 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -11,6 +11,7 @@ modules
   , Core.Declarative
   , Core.Declarative.Substitution
   , Core.Environment
+  , Core.Generic
   , Core.Name
   , Core.Reduction
   , Core.Term