Span: Fix documentation error.

pan- · pan- · commit 3985fb8d62ad · 2018-08-20T12:00:20.000+01:00
diff --git a/platform/Span.h b/platform/Span.h
@@ -73,7 +73,7 @@ struct Span {
      * @param array_ptr Pointer to the array data
      * @param array_size Number of elements of T present in the array.
      *
-     * @post a call to size() will return array_size and data() will return
+     * @post a call to size() will return Extent and data() will return
      * @p array_ptr.
      */
     Span(T *array_ptr, size_t array_size) :

Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,7 @@ struct Span {`
`73`	`73`	`* @param array_ptr Pointer to the array data`
`74`	`74`	`* @param array_size Number of elements of T present in the array.`
`75`	`75`	`*`
`76`		`- * @post a call to size() will return array_size and data() will return`
	`76`	`+ * @post a call to size() will return Extent and data() will return`
`77`	`77`	`* @p array_ptr.`
`78`	`78`	`*/`
`79`	`79`	`Span(T *array_ptr, size_t array_size) :`