From 31fdc16185b8f16ecd27fab29320f79d4ffcd55e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 8 Dec 2014 12:06:40 +0100
Subject: [PATCH] forgot an odocl file

---
 containers_lwt.odocl | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 containers_lwt.odocl

diff --git a/containers_lwt.odocl b/containers_lwt.odocl
new file mode 100644
index 00000000..129912f5
--- /dev/null
+++ b/containers_lwt.odocl
@@ -0,0 +1,6 @@
+# OASIS_START
+# DO NOT EDIT (digest: e7bd30038718864173f30ddcb755f758)
+lwt/Behavior
+lwt/Lwt_automaton
+lwt/Lwt_actor
+# OASIS_STOP