From 3f054c670b03f3f8f37d30c37cece962774ccf4a Mon Sep 17 00:00:00 2001
From: Jakub Konka <jakub.konka@golem.network>
Date: Tue, 18 Feb 2020 20:51:57 +0100
Subject: [PATCH] Fix const description in ephemeral (#224)

This commit fixes a `dircookie` comment string of its only const
member `start`. Effectively, due to the fact that one semicolon
was missing, the docs were not properly generated.
---
 phases/ephemeral/docs.md             | 1 +
 phases/ephemeral/witx/typenames.witx | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/phases/ephemeral/docs.md b/phases/ephemeral/docs.md
index fed63a44..42f4f487 100644
--- a/phases/ephemeral/docs.md
+++ b/phases/ephemeral/docs.md
@@ -423,6 +423,7 @@ A reference to the offset of a directory entry.
 
 ### Consts
 - <a href="#dircookie.start" name="dircookie.start"></a> `start`
+In an `fd_readdir` call, this value signifies the start of the directory.
 
 ## <a href="#dirnamlen" name="dirnamlen"></a> `dirnamlen`: `u32`
 The type for the $d_namlen field of $dirent.
diff --git a/phases/ephemeral/witx/typenames.witx b/phases/ephemeral/witx/typenames.witx
index 38ca67b1..269d203d 100644
--- a/phases/ephemeral/witx/typenames.witx
+++ b/phases/ephemeral/witx/typenames.witx
@@ -321,7 +321,7 @@
 ;;; A reference to the offset of a directory entry.
 (typename $dircookie
   (int u64
-    ;; In an `fd_readdir` call, this value signifies the start of the directory.
+    ;;; In an `fd_readdir` call, this value signifies the start of the directory.
     (const $start 0)
   )
 )