diff --git a/misc/AVL.ml b/misc/AVL.ml
index 15f3f8ed..8fcc0136 100644
--- a/misc/AVL.ml
+++ b/misc/AVL.ml
@@ -355,7 +355,7 @@ module Gen = struct
 
   let _gen stack =
     let stack = ref stack in
-    let rec next () =
+    let next () =
       match !stack with
       | [] -> None
       | l ->