From 9db7172bfe5c5b0c21895c77f0de1f840ae9bc5b Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 25 Feb 2019 17:40:37 -0700 Subject: [PATCH] remove defunct dependency from reif.pl --- src/prolog/lib/reif.pl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/prolog/lib/reif.pl b/src/prolog/lib/reif.pl index 77af1893..bdc43fad 100644 --- a/src/prolog/lib/reif.pl +++ b/src/prolog/lib/reif.pl @@ -2,7 +2,6 @@ memberd_t/3, tfilter/3, tmember/2, tmember_t/3, tpartition/4]). -:- use_module(library(control), [(\=)/2]). :- use_module(library(dif)). /* in essence, '$reify_switch'(T, Then_0, Else_0) is semantically this, -- 2.54.0