From 9f28d4949ea584115e7e4c7fdd77caa4a2bb5ca1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= <nicolasmeric@posteo.net>
Date: Thu, 22 Dec 2022 07:32:37 +0100
Subject: [PATCH] Limit scope of free class checking in examples

---
 src/ontologies/Conceptual/Conceptual.thy | 2 ++
 src/tests/Attributes.thy                 | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/ontologies/Conceptual/Conceptual.thy b/src/ontologies/Conceptual/Conceptual.thy
index da79817..fb9c6e5 100644
--- a/src/ontologies/Conceptual/Conceptual.thy
+++ b/src/ontologies/Conceptual/Conceptual.thy
@@ -220,4 +220,6 @@ close_monitor*[test_monitor_M2]
 
 close_monitor*[test_monitor_M]
 
+declare[[free_class_in_monitor_checking = false]]
+
 end
diff --git a/src/tests/Attributes.thy b/src/tests/Attributes.thy
index 762bccf..73266b1 100644
--- a/src/tests/Attributes.thy
+++ b/src/tests/Attributes.thy
@@ -240,6 +240,8 @@ text*[testRejected2::figure_group, caption="''figures/A.png''"]
 
 close_monitor*[figs1]  
 
+declare[[free_class_in_monitor_checking = false]]
+
 text\<open>Resulting trace of figs1 as ML antiquotation: \<close>
 ML  \<open>@{trace_attribute figs1}\<close>
 text\<open>Resulting trace of figs as text antiquotation:\<close>