diff --git a/library/dialect/swi.yap b/library/dialect/swi.yap index 7e1a78247..b40c2df1e 100644 --- a/library/dialect/swi.yap +++ b/library/dialect/swi.yap @@ -203,8 +203,9 @@ convert_time(Stamp, Y, Mon, Day, Hour, Min, Sec, MilliSec) :- Sec is integer(float_integer_part(FSec)), MilliSec is integer(float_fractional_part(FSec)*1000). + compile_aux_clauses([]). -compile_aux_clauses([(:- G)|Cls]) :- +compile_aux_clauses([(:- G)|Cls]) :- !, prolog_load_context(module, M), once(M:G), compile_aux_clauses(Cls). @@ -213,6 +214,7 @@ compile_aux_clauses([Cl|Cls]) :- assert_static(M:Cl), compile_aux_clauses(Cls). + '$set_predicate_attribute'(_, _, _). flag(Key, Old, New) :-