rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mark Thom
2021-03-19 16:35:50 -06:00
parent 627c49c5db
commit 7fb0b4a8df
2 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
tests-pl/issue841-occure-check.pl → tests-pl/issue841-occurs-check.pl
View File

2
tests/scryer/issues.rs
View File

@@ -71,7 +71,7 @@ fn handle_residual_goal() {
#[test] #[test]
fn occurs_check_flag() { fn occurs_check_flag() {
run_top_level_test_with_args( run_top_level_test_with_args(
&["tests-pl/issue841-occure-check.pl"], &["tests-pl/issue841-occurs-check.pl"],
"\ "\
f(X, X).\n\ f(X, X).\n\
", ",