Indent

Stevendeo · Mar 25, 2024 · 4bbfc84 · 4bbfc84
1 parent c10ad82
commit 4bbfc84
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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_;