aboutsummaryrefslogtreecommitdiff
path: root/c/pl.h
diff options
context:
space:
mode:
Diffstat (limited to 'c/pl.h')
-rw-r--r--c/pl.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/c/pl.h b/c/pl.h
index 276f79a..1ad0967 100644
--- a/c/pl.h
+++ b/c/pl.h
@@ -57,9 +57,9 @@ int PlGetv(const term_t t, T arg) { return PlGet(t, arg); }
template <typename T, typename ...R>
int PlGetv(const term_t t, T arg, R... rest) { return PlGet(t, arg)? PlGetv(t+1, rest...): 0; }
template <typename T>
-int Countv(const int i, T arg) { return i+1; }
+int Countv(const int i, T) { return i+1; }
template <typename T, typename ...R>
-int Countv(const int i, T arg, R... rest) { return Countv(i+1, rest...); }
+int Countv(const int i, T, R... rest) { return Countv(i+1, rest...); }
/* Call Prolog predicate, propagating Prolog exceptions. */
template <typename ...T>