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

remove defunct dependency from reif.pl

Browse Source
This commit is contained in:
Mark Thom
2019-02-25 17:40:37 -07:00
parent 7f8c6eb3f5
commit 9db7172bfe
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/prolog/lib/reif.pl
View File

@@ -2,7 +2,6 @@
memberd_t/3, tfilter/3, tmember/2, tmember_t/3, memberd_t/3, tfilter/3, tmember/2, tmember_t/3,
tpartition/4]). tpartition/4]).
:- use_module(library(control), [(\=)/2]).
:- use_module(library(dif)). :- use_module(library(dif)).
/* in essence, '$reify_switch'(T, Then_0, Else_0) is semantically this, /* in essence, '$reify_switch'(T, Then_0, Else_0) is semantically this,