From a727d17ee4cad5c917b6fb07dd5e6296c3e4c5fd Mon Sep 17 00:00:00 2001
From: hra687261 <hra687261@gmail.com>
Date: Wed, 9 Oct 2024 20:27:10 +0200
Subject: [PATCH] Add dolmen_type as a library in src

---
 src/dune | 1 +
 1 file changed, 1 insertion(+)

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