qed missing

diff --git a/helm/matita/tests/comments.ma b/helm/matita/tests/comments.ma
index 52c6d84764b035b19732ebdf68abb88fd2b87de4..a4632d487f19e82cc06a9200a83ab62271a57d5e 100644 (file)
--- a/helm/matita/tests/comments.ma
+++ b/helm/matita/tests/comments.ma
@@ -35,5 +35,6 @@ apply cic:/Coq/Init/Logic/eq.ind#xpointer(1/1/1).
 (* commenti che non devono essere colorati perche'
    non c'e' nulla di eseguibile dopo di loro
 *)
+qed.
 
 %% EOF