Minor cleanup.

This commit is contained in:
Cas Cremers 2018-10-22 03:47:44 +02:00
parent 85dbd20869
commit ce719465fe

View File

@ -1113,7 +1113,7 @@ term_iterate_deVar (Term term, int (*leaf) (Term t), int (*nodel) (Term t),
//! Generic term iteration with state //! Generic term iteration with state
int int
term_iterate_state_deVar (Term term, int (*leaf) (Term t, void (*st)), term_iterate_state_deVar (Term term, int (*leaf) (Term t, void (*st)),
int (*nodel) (Term t, void (*state)), int (*nodel) (Term t, void (*st)),
int (*nodem) (Term t, void (*st)), int (*nodem) (Term t, void (*st)),
int (*noder) (Term t, void (*st)), void (*state)) int (*noder) (Term t, void (*st)), void (*state))
{ {