X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftable.ml;h=15d39bcb712b6ae08870ad844bc302b2392ce678;hp=21ea213aeec0df9a8711bcdde3827dede6954686;hb=c7229e6e3c000938a74abeb52749f62a65c3bbfd;hpb=b1dd0048c707c1d459667946912346680e34dd02

diff --git a/src/table.ml b/src/table.ml
index 21ea213..15d39bc 100644
--- a/src/table.ml
+++ b/src/table.ml
@@ -140,11 +140,6 @@ let get_descendant tree ln =
     let n1 = Naive_tree.first_child tree n in
     aux n1 [] ) ln in
   get_list_ordred tree ll
- (* let l = List.fold_left (fun acc n -> if List.mem n acc then acc 
-    else let n1 = Naive_tree.first_child tree n in
-	 aux n1 acc) [] ln 
-  in
-  List.rev l *)
 
 let get_child tree ln =
   let rec aux n acc =