remove defunct dependency from reif.pl

diff --git a/src/prolog/lib/reif.pl b/src/prolog/lib/reif.pl
index 77af1893fe9790dcb2407d16e332d6895e40588a..bdc43fada232da47afc3c12fec56254a248bc631 100644 (file)
--- 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,