1 files changed, 4 insertions, 4 deletions
diff --git a/include/atp/proof/proof_trace.h b/include/atp/proof/proof_trace.h
index 28099fe..4ea7aa1 100644
--- a/include/atp/proof/proof_trace.h
+++ b/include/atp/proof/proof_trace.h
@@ -32,10 +32,10 @@ namespace atp {
 
 /// A single step in a reconstructed proof.
 struct ProofStep {
-    ClauseId clause_id;
-    InferenceRule rule;
-    ClauseId parent1;
-    ClauseId parent2;
+    ClauseId clause_id_;
+    InferenceRule rule_;
+    ClauseId parent1_;
+    ClauseId parent2_;
 };
 
 /// Reconstruct the proof trace from the empty clause.