bugfix: basename -> dirname in prettify_results

just-max · Apr 17, 2024 · 1b4e8f7 · 1b4e8f7
1 parent 96f8e88
commit 1b4e8f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test-lib/grading.ml b/src/test-lib/grading.ml
@@ -354,4 +354,4 @@ let grade_cleanup_files_to ?points_step_count ~grading_to ?grading =
 (* compat *)
 let prettify_results ?grading path =
   grade_cleanup_files_to [path] ?grading
-    ~grading_to:Filename.(concat (basename path) "grading.xml")
+    ~grading_to:Filename.(concat (dirname path) "grading.xml")