summaryrefslogtreecommitdiff
path: root/obs.ipkg
diff options
context:
space:
mode:
Diffstat (limited to 'obs.ipkg')
-rw-r--r--obs.ipkg1
1 files changed, 1 insertions, 0 deletions
diff --git a/obs.ipkg b/obs.ipkg
index 987d511..96f9be4 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -10,6 +10,7 @@ modules
= Core.Declarative
, Core.Environment
, Core.Environment.Extension
+ , Core.Generic
, Core.Reduction
, Core.Term
, Core.Term.NormalForm