minor doc fix

mirleft · Jul 26, 2019 · ba21b96 · ba21b96
1 parent a322303
commit ba21b96
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/lib/engine.mli b/lib/engine.mli
@@ -36,8 +36,7 @@
 
 (** {1 Abstract state type} *)
 
-(** The abstract type of a TLS state, with
-    {{!Encoding.Pem.Certificate}encoding and decoding to PEM}. *)
+(** The abstract type of a TLS state. *)
 type state
 
 (** {1 Constructors} *)