fix interface type

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