From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 19 Mar 2021 22:35:50 +0000 (-0600)
Subject: rename issue841-occure-check.pl to issue841-occurs-check.pl
X-Git-Tag: v0.9.0~115
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7fb0b4a8df29df1333896dfc3f0ff3ccd046fdbd;p=scryer-prolog.git

rename issue841-occure-check.pl to issue841-occurs-check.pl
---

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\
             ",