From b2450a771b65f2a2b781fa2499798215523bd7a0 Mon Sep 17 00:00:00 2001
From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Date: Fri, 23 May 2014 10:20:52 +0200
Subject: [PATCH] AVL: Minor edit

There was a let that was uselessly rec
---
 misc/AVL.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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