Missing space

haesbaert · Jul 8, 2022 · 667b7d8 · 667b7d8
1 parent c9318d4
commit 667b7d8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/cpu.mli b/lib/cpu.mli
@@ -16,8 +16,8 @@
 (** Expresses a logical CPU/thread. *)
 
 type kind =
-  | P_core (** Performance cpu, faster, power hungry one *)
-  | E_core (** Energy efficient, slower, global warming aware one *)
+  | P_core  (** Performance cpu, faster, power hungry one *)
+  | E_core  (** Energy efficient, slower, global warming aware one *)
 (** The [kind] of a {!Cpu.t} *)
 
 type t = {