From: Danil Platonov Date: Thu, 4 Jun 2026 19:25:54 +0000 (-0700) Subject: fix merge X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d8be99b6ad6fcd013d22f9cf94de29fb292dafb9;p=scryer-prolog.git fix merge --- diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs index 038a5ec9..d38ba20a 100644 --- a/tests/scryer/issues.rs +++ b/tests/scryer/issues.rs @@ -182,6 +182,8 @@ async fn sigint_interrupts_nonterminating_goals() { format!("PROLOG={:?}.", env!("CARGO_BIN_EXE_scryer-prolog")), "ok\n", ); +} + #[test] #[cfg_attr(miri, ignore = "it takes too long to run")] #[cfg_attr(