1 files changed, 2 insertions, 2 deletions
diff --git a/ci/test1.v b/ci/test1.v
index 0c4b77fe..0a9ef963 100644
--- a/ci/test1.v
+++ b/ci/test1.v
@@ -1,10 +1,10 @@
-Definition trois := 3. 
+Definition trois := 3. (*test-definition*)
 Print trois.
 Eval compute in 10 * trois * trois.
 
 
 
-Lemma  easy_proof : (forall A : Prop, A -> A). 
+Lemma easy_proof : forall A : Prop, A -> A.
 Proof using .
   intros A.
   intros proof_of_A.