From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 6 Feb 2020 17:12:57 +0000 (-0700)
Subject: correct improper use of multifile directive in tabling/wrapper.pl
X-Git-Tag: v0.8.118~11
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1b5cf493d6a216039aac8acfed25b15a29e3831c;p=scryer-prolog.git

correct improper use of multifile directive in tabling/wrapper.pl
---

diff --git a/src/prolog/lib/tabling/wrapper.pl b/src/prolog/lib/tabling/wrapper.pl
index 12305478..c66be996 100644
--- a/src/prolog/lib/tabling/wrapper.pl
+++ b/src/prolog/lib/tabling/wrapper.pl
@@ -80,6 +80,7 @@ wrappers(Name/Arity) -->
 	[ (   Head :-
 		 start_tabling(Module:Head, WrappedHead)
 	  ),
+	  (:- multifile(table_wrapper:tabled/2)),
 	  table_wrapper:tabled(Head, Module)
 	].
 
@@ -107,10 +108,7 @@ rename_term(Name, WrapName) :-
 	atom_concat(Name, ' tabled', WrapName).
 
 
-user:term_expansion(Term0,
-		    [ (:- multifile(table_wrapper:tabled/2))
-		    | Clauses
-		    ]) :-
+user:term_expansion(Term0, Clauses) :-
         nonvar(Term0),
 	Term0 = (:- table Preds),
 	phrase(wrappers(Preds), Clauses).