From 84c7a134cd261da49467ec430a33ad9826228c2f Mon Sep 17 00:00:00 2001 From: David Scott Date: Mon, 14 Mar 2016 22:13:29 +0000 Subject: [PATCH] Add more OASIS autogen files Signed-off-by: David Scott --- client_lwt/client_lwt.odocl | 4 ++++ client_unix/client_unix.odocl | 4 ++++ core/core.odocl | 5 +++++ 3 files changed, 13 insertions(+) create mode 100644 client_lwt/client_lwt.odocl create mode 100644 client_unix/client_unix.odocl create mode 100644 core/core.odocl diff --git a/client_lwt/client_lwt.odocl b/client_lwt/client_lwt.odocl new file mode 100644 index 00000000..f8e31c54 --- /dev/null +++ b/client_lwt/client_lwt.odocl @@ -0,0 +1,4 @@ +# OASIS_START +# DO NOT EDIT (digest: c330a9a726f26eed8831f1bc154072e5) +Xs_client_lwt +# OASIS_STOP diff --git a/client_unix/client_unix.odocl b/client_unix/client_unix.odocl new file mode 100644 index 00000000..ca0c3770 --- /dev/null +++ b/client_unix/client_unix.odocl @@ -0,0 +1,4 @@ +# OASIS_START +# DO NOT EDIT (digest: 3b3d3372c0e77b8e05c56f53b81a6e3e) +Xs_client_unix +# OASIS_STOP diff --git a/core/core.odocl b/core/core.odocl new file mode 100644 index 00000000..057b7f78 --- /dev/null +++ b/core/core.odocl @@ -0,0 +1,5 @@ +# OASIS_START +# DO NOT EDIT (digest: d93f3abe5887f90e78faf0190e6e5028) +Xs_protocol +Xs_handle +# OASIS_STOP