From 1b5cf493d6a216039aac8acfed25b15a29e3831c Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 6 Feb 2020 10:12:57 -0700 Subject: [PATCH] correct improper use of multifile directive in tabling/wrapper.pl --- src/prolog/lib/tabling/wrapper.pl | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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). -- 2.54.0