diff --git a/src/dune b/src/dune
index 5453406a..aa5bff02 100644
--- a/src/dune
+++ b/src/dune
@@ -53,6 +53,7 @@
   (:standard -open Smtml_prelude))
  (libraries
   dolmen
+  dolmen_type
   hc
   menhirLib
   ocaml_intrinsics