Style

OCamlPro · Oct 16, 2023 · 35a0026 · 35a0026
1 parent 88e0fd3
commit 35a0026
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
@@ -306,9 +306,9 @@ let bv_builtins env s =
   | _ -> `Not_found
 
 (** Takes a dolmen identifier [id] and injects it in Alt-Ergo's registered
-    identifier. For example, transforms "fpa_rounding_mode", the Alt-Ergo builtin
-    type into the SMT rounding type "RoundingMode". Also does it for the enums
-    of this type. *)
+    identifiers.
+    It transforms "fpa_rounding_mode", the Alt-Ergo builtin type into the SMT
+    rounding type "RoundingMode". Also does it for the enums of this type. *)
 let inject_identifier id =
   match id with
   | Id.{name = Simple n; _} ->