docs: fix typo

RedPRL · Aug 29, 2023 · 42346ee · 42346ee
1 parent 26782ad
commit 42346ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Kado.mli b/src/Kado.mli
@@ -1,4 +1,4 @@
-(** The [antikado] library implements the syntax and semantics of cofibrations as described by {{:https://doi.org/10.1017/S0960129521000347} ABCFHL}. *)
+(** The [kado] library implements the syntax and semantics of cofibrations as described by {{:https://doi.org/10.1017/S0960129521000347} ABCFHL}. *)
 
 (** {1 Syntax} *)