Restore the comment about reinit_cpt

Halbaroth · Sep 22, 2023 · 1164290 · 1164290
1 parent 143bd39
commit 1164290
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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