fix miri

diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs
index f5b58a0fcb09e1e56e56ba4b4d0f0fbd32a625d9..de318708b57468b1c3f426bc375aa78d517d75b0 100644 (file)
--- 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,[],[])])]");
 }