Add a generic deque module.

[tatoo.git] / src / naive_node_list.mli

diff --git a/src/naive_node_list.mli b/src/naive_node_list.mli
index e1fde9c..010acd8 100644 (file)
--- 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