diff --git a/src/tests/AssnsLemmaThmEtc.thy b/src/tests/AssnsLemmaThmEtc.thy
index 064c8af..299c7d6 100755
--- a/src/tests/AssnsLemmaThmEtc.thy
+++ b/src/tests/AssnsLemmaThmEtc.thy
@@ -69,8 +69,8 @@ different class. "F" and "assertion" have only in common that they posses the at
 \<^verbatim>\<open>property\<close>: \<close>
 
 text\<open>Creation just like that: \<close>
-assert*[aaa::assertion] "3 < (4::int)"
-assert*[aaa::assertion] "0 < (4::int)"
+assert*[ababa::assertion] "3 < (4::int)"
+assert*[ababa::assertion] "0 < (4::int)"
 
 
 end