add predicate indicator sequences to loader:add_predicate_declaration (…

…#1586)
mthom · Sep 26, 2023 · e8334f9 · e8334f9
1 parent 280ff8b
commit e8334f9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/loader.pl b/src/loader.pl
@@ -393,6 +393,9 @@
     call(Handler, Module, Name, Arity).
 add_predicate_declaration(Handler, [PI|PIs]) :-
     maplist(loader:add_predicate_declaration(Handler), [PI|PIs]).
+add_predicate_declaration(Handler, (PI, PIs)) :-
+    add_predicate_declaration(Handler, PI),
+    add_predicate_declaration(Handler, PIs).
 
 add_dynamic_predicate(Evacuable, Module, Name, Arity) :-
     '$add_dynamic_predicate'(Module, Name, Arity, Evacuable).