doc comment

just-max · Oct 14, 2023 · d34cbf9 · d34cbf9
1 parent cf6e6dc
commit d34cbf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test-lib/grading.mli b/src/test-lib/grading.mli
@@ -211,7 +211,7 @@ val grade_files_to :
 val grade_cleanup_files_to :
   ?points_step_count:int ->
   grading_to:string -> ?grading:grading -> string list -> unit
-(** If [grading] is [None], as per {!cleanup_files} with [~cleanup:true].
+(** If [grading] is [None], as per {!cleanup_files}.
     Otherwise, as per {!grade_files_to}, with [~cleanup:true]. *)
 
 val[@deprecated "use grade_cleanup_files_to"] prettify_results :