From d4bf52e82c131882fbc2f7fd213ea39548ed78b6 Mon Sep 17 00:00:00 2001
From: Emilie Burgun <emilie@shadamethyst.xyz>
Date: Thu, 6 Feb 2025 10:37:54 +0100
Subject: [PATCH] Disable test_run_module_predicate_throw under miri and
 support rustc < 1.83

---
 src/machine/mod.rs | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index cbd99c53..bfa4f7b0 100644
--- a/src/machine/mod.rs
+++ b/src/machine/mod.rs
@@ -1272,18 +1272,17 @@ mod tests {
     use super::*;
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_run_module_predicate_throw() {
         let mut machine = MachineBuilder::default()
             .with_toplevel(
                 r#"
-            :- module('$toplevel', []).
-            repl :- throw(kaboom).
-        "#,
+                    :- module('$toplevel', []).
+                    repl :- throw(kaboom).
+                "#,
             )
             .build();
 
-        let query = machine.run_module_predicate(atom!("$toplevel"), (atom!("repl"), 0));
-
-        assert_eq!(query, std::process::ExitCode::SUCCESS);
+        machine.run_module_predicate(atom!("$toplevel"), (atom!("repl"), 0));
     }
 }
-- 
2.54.0