Remove doc-comment from WIT.md (#281)

Resolves #273
WebAssembly · Dec 5, 2023 · 9cda856 · 9cda856
1 parent d1f4756
commit 9cda856
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/design/mvp/WIT.md b/design/mvp/WIT.md
@@ -796,17 +796,6 @@ comment ::= '//' character-that-isnt-a-newline*
           | '/*' any-unicode-character* '*/'
 ```
 
-There is a special type of comment called `documentation comment`. A
-`doc-comment` is either a line comment preceded with `///` which ends at the next
-newline (`\n`) character or it's a block comment which starts with `/**` and ends
-with `*/`. Note that block comments are allowed to be nested and their delimiters
-must be balanced
-
-```ebnf
-doc-comment ::= '///' character-that-isnt-a-newline*
-          | '/**' any-unicode-character* '*/'
-```
-
 ### Operators
 
 There are some common operators in the lexical structure of `wit` used for