Fix mistake in predicate indicator

This commit is contained in:
Aleksy Grabowski
2024-09-06 08:07:21 +02:00
parent 6f0c7f42c6
commit 61c258f49e

View File

@@ -790,7 +790,7 @@ qualified_spec((:)).
qualified_spec(MS) :- integer(MS), MS >= 0.
:- non_counted_backtracking expand_meta_predicate_subgoals/5.
:- non_counted_backtracking expand_meta_predicate_subgoals/6.
expand_meta_predicate_subgoals([SG | SGs], [MS | MSs], M, [ESG | ESGs], HeadVars, TGs) :-
( var(SG) ->