From 6dd0ec0b98c627f1497e73b053edf9b26527b4df Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= <bb-github@t-online.de>
Date: Fri, 4 Oct 2024 20:25:02 +0200
Subject: [PATCH] fix miri

---
 tests/scryer/issues.rs | 1 +
 1 file changed, 1 insertion(+)

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,[],[])])]");
 }
-- 
2.54.0