diff --git a/src/lib/reasoners/theory.mli b/src/lib/reasoners/theory.mli
index 9bdf1de3f5..6105343d29 100644
--- a/src/lib/reasoners/theory.mli
+++ b/src/lib/reasoners/theory.mli
@@ -63,7 +63,7 @@ module type S = sig
   val get_assumed : t -> Expr.Set.t
 
   val reinit_cpt : unit -> unit
-
+  (** Reinitializes the internal counter. *)
 end
 
 module Main_Default : S