diff --git a/src/main/kotlin/org/move/ide/docs/MvRenderedDocumentationPipeline.kt b/src/main/kotlin/org/move/ide/docs/MvRenderedDocumentationPipeline.kt index c843c7bf..46bf3ed7 100644 --- a/src/main/kotlin/org/move/ide/docs/MvRenderedDocumentationPipeline.kt +++ b/src/main/kotlin/org/move/ide/docs/MvRenderedDocumentationPipeline.kt @@ -27,7 +27,7 @@ enum class MvDocRenderMode { /** * Inline Editor Documentation mode. * - * Such documentation is displayed directly in the ed + * Such documentation is displayed directly in the editor. */ INLINE_DOC_COMMENT, }