docs: fix typo

RedPRL · Aug 30, 2023 · 65573a1 · 65573a1
1 parent 17206ca
commit 65573a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Builder.mli b/src/Builder.mli
@@ -42,7 +42,7 @@ sig
     (** The type of built cofibrations. *)
     type t = cof
 
-    (** The embedding of cofibrations to [cof]. *)
+    (** The embedding of cofibrations to [t]. *)
     val cof : (dim, t) Syntax.endo -> t
 
     (** Smarter version of {!val:Syntax.Endo.le}. *)