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

Merge pull request #1899 from triska/master

Browse Source 
remove another !/0 which is now no longer necessary due to improved indexing
This commit is contained in:
Mark Thom
2023-07-21 23:26:20 -06:00
committed by GitHub
parent cb79552dd0 554e956ef5
commit 92c77cdff5
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib/lists.pl
View File

@@ -426,7 +426,6 @@ nth1(N, Es0, E) :-
skipn(N0, Es0,Es, Xs0,Xs) :- skipn(N0, Es0,Es, Xs0,Xs) :-
N0>0, N0>0,
!, % should not be necessary #1028
N1 is N0-1, N1 is N0-1,
Es0 = [E|Es1], Es0 = [E|Es1],
Xs0 = [E|Xs1], Xs0 = [E|Xs1],