Correct typos

Co-authored-by: Michele Alberti <michele.alberti@cea.fr>

src/verification_types.mli

@@ -50,7 +50,7 @@ module Problem : sig
     theories:string list ->
     File.t ->
     t
-  (** [of_file defs goals file] build a Problem {!t} to be fed with a query to
+  (** [of_file defs goals file] builds a {!Problem.t} to be fed with a query to
       CAISAR. This function only builds GenericProblem with this function. *)
 
 end
@@ -147,7 +147,7 @@ module Answer : sig
         id : Why3.Decl.prsymbol;
         prover_answer : prover_answer;
         additional_info : string option;
-          (*Additional information outputted by the prover*)
+          (* Additional information provided by the prover *)
       }
   [@@deriving to_yojson, show]