From 7fb0b4a8df29df1333896dfc3f0ff3ccd046fdbd Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 19 Mar 2021 16:35:50 -0600 Subject: [PATCH] rename issue841-occure-check.pl to issue841-occurs-check.pl --- tests-pl/{issue841-occure-check.pl => issue841-occurs-check.pl} | 0 tests/scryer/issues.rs | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename tests-pl/{issue841-occure-check.pl => issue841-occurs-check.pl} (100%) diff --git a/tests-pl/issue841-occure-check.pl b/tests-pl/issue841-occurs-check.pl similarity index 100% rename from tests-pl/issue841-occure-check.pl rename to tests-pl/issue841-occurs-check.pl diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs index 857d8e82..72f67194 100644 --- a/tests/scryer/issues.rs +++ b/tests/scryer/issues.rs @@ -71,7 +71,7 @@ fn handle_residual_goal() { #[test] fn occurs_check_flag() { run_top_level_test_with_args( - &["tests-pl/issue841-occure-check.pl"], + &["tests-pl/issue841-occurs-check.pl"], "\ f(X, X).\n\ ", -- 2.54.0