1 files changed, 2 insertions, 2 deletions
diff --git a/ci/test1.v b/ci/test1.v
index 0a9ef963..fc1fc943 100644
--- a/ci/test1.v
+++ b/ci/test1.v
@@ -7,6 +7,6 @@ Eval compute in 10 * trois * trois.
 Lemma easy_proof : forall A : Prop, A -> A.
 Proof using .
   intros A.
-  intros proof_of_A.
+  intros proof_of_A. (*test-insert*)
   exact proof_of_A.
-Qed.
+Qed. (*test-lemma*)