projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Nettoyer les commentaire.
[tatoo.git]
/
src
/
table.ml
diff --git
a/src/table.ml
b/src/table.ml
index
21ea213
..
15d39bc
100644
(file)
--- 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 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 =
let get_child tree ln =
let rec aux n acc =