From bce33de71ef2341e4b1a8123b90e5972631b9fb9 Mon Sep 17 00:00:00 2001
From: Albin Chaboissier <chalbin73@gmail.com>
Date: Mon, 9 Feb 2026 11:00:53 +0100
Subject: [PATCH] Compiling

---
 src/prover.rs         | 4 ++--
 src/prover/tracing.rs | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/prover.rs b/src/prover.rs
index f205bb6..d081f10 100644
--- a/src/prover.rs
+++ b/src/prover.rs
@@ -92,7 +92,7 @@ impl<'a, T: Tracer + 'a> BodyProver<'a, T>
     {
         let body_tracer = if let Body::And(_) = body
         {
-            Some(tracer.begin_proof(ProofType::Body, format!("Proving {}", body)))
+            Some(tracer.begin_proof(ProofType::Body))
         }
         else
         {
@@ -145,7 +145,7 @@ impl<'a, T: Tracer + 'a> PredicateProver<'a, T>
         //info!(target: "PredicateProver", "Proving {}", predicate);
         PredicateProver {
             module,
-            tracer: tracer.begin_proof(ProofType::Predicate, format!("Proving {}", &predicate)),
+            tracer: tracer.begin_proof(ProofType::Predicate),
             predicate,
             constraints,
             current_clause: 0,
diff --git a/src/prover/tracing.rs b/src/prover/tracing.rs
index 8ff9327..94ef708 100644
--- a/src/prover/tracing.rs
+++ b/src/prover/tracing.rs
@@ -25,7 +25,7 @@ impl Display for ProofType
 
 pub trait Tracer
 {
-    fn begin_proof<T: Display>(&self, proof_type: ProofType) -> Self;
+    fn begin_proof(&self, proof_type: ProofType) -> Self;
     fn print_step<T: Display>(&self, show: T);
     fn end_proof(self);
 }
@@ -45,7 +45,7 @@ impl SimpleTracer
 
 impl Tracer for SimpleTracer
 {
-    fn begin_proof<T: Display>(&self, proof_type: ProofType) -> Self
+    fn begin_proof(&self, proof_type: ProofType) -> Self
     {
         SimpleTracer { proof_type }
     }