1 files changed, 2 insertions, 1 deletions
diff --git a/obs.ipkg b/obs.ipkg
index f85a6ef..b6cb577 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -6,12 +6,13 @@ depends = contrib
 
 options = "--total"
 
-executable = "cc-eval"
+executable = "cc-check"
 main = Main
 
 modules
   = CC.Name
   , CC.Term
+  , CC.Term.Elaborate
   , CC.Term.Eval
   , CC.Term.Parse
   , CC.Term.Pretty