From ce719465fee93e74200fb8c25dca7818da8f4bfd Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 22 Oct 2018 03:47:44 +0200
Subject: [PATCH] Minor cleanup.

---
 src/term.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/term.c b/src/term.c
index 96e8684..60bb6fc 100644
--- a/src/term.c
+++ b/src/term.c
@@ -1113,7 +1113,7 @@ 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 (*state)),
+			  int (*nodel) (Term t, void (*st)),
 			  int (*nodem) (Term t, void (*st)),
 			  int (*noder) (Term t, void (*st)), void (*state))
 {