From a373667c23df2507e760383a9bc2495066d0c322 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 22 Oct 2018 04:24:42 +0200
Subject: [PATCH] Further underspecifying pointers helps to avoid warnings.

Alright, all checks now officially disabled :-(
---
 src/term.c | 10 ++++------
 src/term.h | 12 +++++-------
 2 files changed, 9 insertions(+), 13 deletions(-)

diff --git a/src/term.c b/src/term.c
index 60bb6fc..b5594f0 100644
--- a/src/term.c
+++ b/src/term.c
@@ -1112,10 +1112,9 @@ term_iterate_deVar (Term term, int (*leaf) (Term t), int (*nodel) (Term t),
 
 //! Generic term iteration with state
 int
-term_iterate_state_deVar (Term term, int (*leaf) (Term t, void (*st)),
-			  int (*nodel) (Term t, void (*st)),
-			  int (*nodem) (Term t, void (*st)),
-			  int (*noder) (Term t, void (*st)), void (*state))
+term_iterate_state_deVar (Term term, int (*leaf) (),
+			  int (*nodel) (),
+			  int (*nodem) (), int (*noder) (), void (*state))
 {
   term = deVar (term);
   if (term != NULL)
@@ -1185,8 +1184,7 @@ term_iterate_state_deVar (Term term, int (*leaf) (Term t, void (*st)),
  * well. It is up to func to decide wether or not to recurse.
  */
 int
-term_iterate_state_leaves (const Term term, int (*func) (Term t, void (*st)),
-			   void (*state))
+term_iterate_state_leaves (const Term term, int (*func) (), void (*state))
 {
   if (term != NULL)
     {
diff --git a/src/term.h b/src/term.h
index 49935de..937e056 100644
--- a/src/term.h
+++ b/src/term.h
@@ -197,15 +197,13 @@ int term_iterate (const Term term, int (*leaf) (Term t),
 int term_iterate_deVar (Term term, int (*leaf) (Term t),
 			int (*nodel) (Term t), int (*nodem) (Term t),
 			int (*noder) (Term t));
-int term_iterate_state_deVar (Term term, int (*leaf) (Term t, void (*st)),
-			      int (*nodel) (Term t, void (*state)),
-			      int (*nodem) (Term t, void (*st)),
-			      int (*noder) (Term t, void (*st)),
-			      void (*state));
+int term_iterate_state_deVar (Term term, int (*leaf) (),
+			      int (*nodel) (),
+			      int (*nodem) (),
+			      int (*noder) (), void (*state));
 int term_iterate_leaves (const Term t, int (*func) (Term t));
 int term_iterate_state_leaves (const Term term,
-			       int (*func) (Term t, void (*st)),
-			       void (*state));
+			       int (*func) (), void (*state));
 int term_iterate_open_leaves (const Term term, int (*func) (Term t));
 void term_rolelocals_are_variables ();
 int term_encryption_level (const Term term);