From 4bbfc8408edb51496fc41a95d526c58483644c86 Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Mon, 25 Mar 2024 13:18:44 +0100
Subject: [PATCH] Indent

---
 src/lib/frontend/d_cnf.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/lib/frontend/d_cnf.ml b/src/lib/frontend/d_cnf.ml
index 72c750252..50e1e8eb4 100644
--- a/src/lib/frontend/d_cnf.ml
+++ b/src/lib/frontend/d_cnf.ml
@@ -216,9 +216,9 @@ let builtin_enum = function
           DStd.Id.Map.add
             { name = DStd.Name.simple name; ns = Term }
             (fun env _ ->
-              builtin_term @@
-              Dolmen_type.Base.term_app_cst
-                (module Dl.Typer.T) env c) map)
+               builtin_term @@
+               Dolmen_type.Base.term_app_cst
+                 (module Dl.Typer.T) env c) map)
         map cstrs
     in
     Cache.store_ty (DE.Ty.Const.hash ty_cst) ty_;