Limit scope of free class checking in examples
This commit is contained in:
parent
885c23a138
commit
9f28d4949e
|
@ -220,4 +220,6 @@ close_monitor*[test_monitor_M2]
|
||||||
|
|
||||||
close_monitor*[test_monitor_M]
|
close_monitor*[test_monitor_M]
|
||||||
|
|
||||||
|
declare[[free_class_in_monitor_checking = false]]
|
||||||
|
|
||||||
end
|
end
|
||||||
|
|
|
@ -240,6 +240,8 @@ text*[testRejected2::figure_group, caption="''figures/A.png''"]
|
||||||
|
|
||||||
close_monitor*[figs1]
|
close_monitor*[figs1]
|
||||||
|
|
||||||
|
declare[[free_class_in_monitor_checking = false]]
|
||||||
|
|
||||||
text\<open>Resulting trace of figs1 as ML antiquotation: \<close>
|
text\<open>Resulting trace of figs1 as ML antiquotation: \<close>
|
||||||
ML \<open>@{trace_attribute figs1}\<close>
|
ML \<open>@{trace_attribute figs1}\<close>
|
||||||
text\<open>Resulting trace of figs as text antiquotation:\<close>
|
text\<open>Resulting trace of figs as text antiquotation:\<close>
|
||||||
|
|
Loading…
Reference in New Issue