Merge pull request #2533 from hurufu/fix-warnings

Assorted small fixes
This commit is contained in:
Mark Thom
2024-09-18 18:39:54 -06:00
committed by GitHub
3 changed files with 1 additions and 1 deletions

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) ->