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