From: Bennet Bleßmann <bb-github@t-online.de>
Date: Fri, 4 Oct 2024 18:25:02 +0000 (+0200)
Subject: fix miri
X-Git-Tag: v0.10.0~109^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6dd0ec0b98c627f1497e73b053edf9b26527b4df;p=scryer-prolog.git

fix miri
---

diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs
index f5b58a0f..de318708 100644
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@ -13,6 +13,7 @@ fn call_0() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore = "unsupported operation when isolation is enabled")]
 fn issue2588_load_html() {
     load_module_test("tests-pl/issue2588.pl", "[element(html,[],[element(head,[],[element(title,[],[[H,e,l,l,o,!]])]),element(body,[],[])])]");
 }