add comment for HoistIfsEvidence

GaloisInc · Jun 2, 2021 · 5192661 · 5192661
1 parent 630469a
commit 5192661
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/SAWScript/Proof.hs b/src/SAWScript/Proof.hs
@@ -359,6 +359,8 @@ data Evidence
     --   evidence is use to check the modified goal.
   | EvalEvidence (Set VarIndex) Evidence
 
+    -- | This type of evidence is used to modify a goal to prove by applying
+    -- 'hoistIfsInGoal'.
   | HoistIfsEvidence Evidence
 
 -- | The the proposition proved by a given theorem.