X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fnaive_node_list.mli;fp=src%2Fnaive_node_list.mli;h=010acd8f6e28d57e67d93f839829d1ef8ac81d63;hp=e1fde9c07cd6a9736460a2feda1ad919a91fd6e5;hb=a96c64d15866719b4c8eb6d98ad7f1fc948e7636;hpb=e3ad6d6f098809af95ddaf8b1e9bc4ec5cb7b0f4

diff --git a/src/naive_node_list.mli b/src/naive_node_list.mli
index e1fde9c..010acd8 100644
--- a/src/naive_node_list.mli
+++ b/src/naive_node_list.mli
@@ -14,4 +14,4 @@
 (***********************************************************************)
 
 
-include Node_list.S with type node = Naive_tree.node
+include Deque.S with type elem = Naive_tree.node