From cc679901ebaca1ff863b69632cc9fe9503f16723 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <aarotomb@amazon.com>
Date: Tue, 5 Sep 2023 09:23:02 -0700
Subject: [PATCH] Added comment

---
 Source/Core/TrackedNodeComponent.cs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Source/Core/TrackedNodeComponent.cs b/Source/Core/TrackedNodeComponent.cs
index 8d36a8f95..fac55433f 100644
--- a/Source/Core/TrackedNodeComponent.cs
+++ b/Source/Core/TrackedNodeComponent.cs
@@ -2,6 +2,9 @@
 
 namespace Microsoft.Boogie
 {
+  // Represents an AST node, or component of a node, that is being
+  // tracked during the proof process to determine whether it was
+  // used as part of a completed proof.
   public abstract record TrackedNodeComponent()
   {
     public abstract string SolverLabel { get; }