too verbose

This commit is contained in:
lightsing
2025-11-26 15:05:25 +08:00
parent 4bed6845c3
commit 4bc57bb95e

View File

@@ -76,7 +76,7 @@ impl ProvingService for AxiomProver {
}
}
#[instrument(skip(self), ret)]
#[instrument(skip(self, req), ret)]
async fn prove(&mut self, req: ProveRequest) -> ProveResponse {
self.prove_inner(req)
.await