Fix type on require.

c3lang · Jan 13, 2025 · ef7c11a · ef7c11a
1 parent c861c72
commit ef7c11a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/content/docs/Language Fundamentals/comments.md b/src/content/docs/Language Fundamentals/comments.md
@@ -22,7 +22,7 @@ For example:
 <*
  Here are some docs.
  @param num_foo `The number of foos.`
- @required num_foo > 4 
+ @require num_foo > 4 
  @deprecated
  @mycustom 2
 *>
@@ -36,7 +36,7 @@ void bar(int num_foo)
 The following was extracted:
 - The function description: *"Here are some docs."*
 - The `num_foo` parameter has the description: *"The number of foos"*.
-- A [Contract](/language-common/contracts/) annotation for the compiler: `@required num_foo > 4` which tells the compiler and a user of the function that a precondition is that `num_foo` must be greater than 4.
+- A [Contract](/language-common/contracts/) annotation for the compiler: `@require num_foo > 4` which tells the compiler and a user of the function that a precondition is that `num_foo` must be greater than 4.
 - A function [Attribute](/language-common/attributes/) marking it as `@deprecated`, which displays warnings.
 - A custom function [Attribute](/language-common/attributes/) `@mycustom`. The compiler is free to silently ignore custom Attributes, they can be used to optionally emit warnings, but are otherwise ignored.