From d7b625ae04ea6e4ed63a754fc52aa553e65e80c9 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolff@lri.fr>
Date: Wed, 21 Apr 2021 20:27:23 +0200
Subject: [PATCH] little debug.

---
 src/tests/AssnsLemmaThmEtc.thy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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