Commit 900e00e9 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

remove warning

parent 73c57380
......@@ -358,7 +358,7 @@ let apply_transformation ~callback transf goal =
let apply_transformation_l ~callback transf goal =
callback (Trans.apply transf goal)
let edit_proof ~debug ~editor ~file ~driver ~callback goal =
let edit_proof ~debug:_ ~editor ~file ~driver ~callback goal =
let old =
if Sys.file_exists file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment