Merge pull request #2533 from hurufu/fix-warnings

Assorted small fixes
mthom · Sep 19, 2024 · 3fa6b69 · 3fa6b69
2 parents 0bc3d67 + 3af24a8
commit 3fa6b69
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/.dockerignore b/.dockerignore
diff --git a/Dockerfile b/Dockerfile
diff --git a/src/loader.pl b/src/loader.pl
@@ -790,7 +790,7 @@
 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) ->