Merge branch 'fix/blanchard/doc/typos' into 'master'

[doc] fixes two typos in documentation

See merge request frama-c/frama-c!4318

src/kernel_services/ast_data/kernel_function.mli

@@ -184,7 +184,7 @@ val is_in_libc : t -> bool
 
 val is_not_called: t -> bool
 (** @return true if the given function is not called in the program.
-    Warning, @return false does not ensure that the function is called.
+    Warning, return false does not ensure that the function is called.
     @since Frama-C+dev *)
 
 val is_entry_point: t -> bool

src/plugins/e-acsl/src/libraries/interval_utils.mli

@@ -63,7 +63,7 @@ val interv_of_logic_typ : logic_type -> ival
 (** @return the smallest interval which contains the given logic type. *)
 
 exception Not_representable_ival
-(** raised by {!ikind_of_ival].
+(** raised by {!ikind_of_ival}.
     @since Frama-C+dev
 *)