Added comment

boogie-org · Sep 5, 2023 · cc67990 · cc67990
1 parent e0c1c7d
commit cc67990
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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; }