From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 26 Feb 2019 00:40:37 +0000 (-0700)
Subject: remove defunct dependency from reif.pl
X-Git-Tag: v0.8.110~224
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9db7172bfe5c5b0c21895c77f0de1f840ae9bc5b;p=scryer-prolog.git

remove defunct dependency from reif.pl
---

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,