1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index df5db66..0679395 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -14,6 +14,7 @@ modules
   , Obs.NormalForm
   , Obs.NormalForm.Normalise
   , Obs.Parser
+  , Obs.Pretty
   , Obs.Substitution
   , Obs.Syntax
   , Obs.Term