let file_for_log_proof_ =
  Dynamic.register ~plugin:"Wp" "Wpo.file_for_log_proof" ~journalize:false
    (Datatype.func2
       ~label1:("gid",NoneDatatype.string ProverType.ty Datatype.string)
    (fun gid p -> file_for_log_proof ~gid p)