fix miri

mthom · Oct 4, 2024 · 6dd0ec0 · 6dd0ec0
1 parent e9f03c8
commit 6dd0ec0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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,[],[])])]");
 }