Typo: *An* negative

Author: jmid

lib/STM_domain.mli

@@ -26,7 +26,7 @@ module Make : functor (Spec : STM_base.Spec) ->
     (** Parallel agreement test based on [Domain] which combines [repeat] and [~retries] *)
 
     val neg_agree_test_par : count:int -> name:string -> QCheck.Test.t
-    (** An negative agreement test (for convenience). Accepts two labeled parameters:
+    (** A negative agreement test (for convenience). Accepts two labeled parameters:
         [count] is the test count and [name] is the printed test name. *)
 
  end

lib/STM_sequential.mli

@@ -21,6 +21,6 @@ module Make : functor (Spec : STM_base.Spec) ->
         [count] is the test count and [name] is the printed test name. *)
 
     val neg_agree_test : count:int -> name:string -> QCheck.Test.t
-    (** An negative agreement test (for convenience). Accepts two labeled parameters:
+    (** A negative agreement test (for convenience). Accepts two labeled parameters:
         [count] is the test count and [name] is the printed test name. *)
   end

lib/STM_thread.mli

@@ -15,7 +15,7 @@ module Make : functor (Spec : STM_base.Spec) ->
     (** Concurrent agreement test based on [Thread] which combines [repeat] and [~retries] *)
 
     val neg_agree_test_conc : count:int -> name:string -> QCheck.Test.t
-    (** An negative agreement test (for convenience). Accepts two labeled parameters:
+    (** A negative agreement test (for convenience). Accepts two labeled parameters:
         [count] is the test count and [name] is the printed test name. *)
 
   end