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