summaryrefslogtreecommitdiff
path: root/obs.ipkg
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2023-03-25 16:29:44 +0000
committerChloe Brown <chloe.brown.00@outlook.com>2023-03-25 16:29:44 +0000
commitb10fb1044d48fe75f0b77a4d592bf36121c692df (patch)
tree1bcc40a6af28cae2e4b5b4dbfb860d8ba51e1b8c /obs.ipkg
parent0225730f5461e693386031a8f06085d2354d6537 (diff)
Extract RawTerm to a new module.
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 9d706ae..c1db82f 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -12,5 +12,6 @@ main = Main
modules
= CC.Name
, CC.Term
+ , CC.Term.Raw
, CC.Thinning
, Main