summaryrefslogtreecommitdiff
path: root/obs.ipkg
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2023-03-25 16:43:28 +0000
committerChloe Brown <chloe.brown.00@outlook.com>2023-03-25 16:43:28 +0000
commit39d9c956a98a0aecb4e2913d3df0cc8eb0e78f69 (patch)
tree730b8f6df443d9afb95365c279f307c08fdc04d5 /obs.ipkg
parentb10fb1044d48fe75f0b77a4d592bf36121c692df (diff)
Extract term printer to 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 c1db82f..c937214 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -12,6 +12,7 @@ main = Main
modules
= CC.Name
, CC.Term
+ , CC.Term.Pretty
, CC.Term.Raw
, CC.Thinning
, Main