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