From: Aleksy Grabowski Date: Fri, 6 Sep 2024 06:07:21 +0000 (+0200) Subject: Fix mistake in predicate indicator X-Git-Tag: v0.10.0~113^2~5 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=61c258f49ed6a821ff734acb354e6cc37986fd9c;p=scryer-prolog.git Fix mistake in predicate indicator --- diff --git a/src/loader.pl b/src/loader.pl index 0998182d..0de805cf 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -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) ->