man/nitc: Remove duplicate option description

[nit.git] / share / man / nitc.md

diff --git a/share/man/nitc.md b/share/man/nitc.md
index 2927a24..a316782 100644 (file)
--- a/share/man/nitc.md
+++ b/share/man/nitc.md
@@ -386,7 +386,7 @@ Put primitive attributes in a box instead of an union.
 ### `--no-shortcut-equal`
 Always call == in a polymorphic way.
 
-### `--no-tag-primitive`
+### `--no-tag-primitives`
 Use only boxes for primitive types.
 
 The separate compiler uses tagged values to encode common primitive types like Int, Bool and Char.
@@ -410,9 +410,6 @@ Use an indirection when calling.
 
 Just add the trampolines of `--substitute-monomorph` without doing any additionnal optimizations.
 
-### `--no-tag-primitives`
-Use only boxes for primitive types.
-
 ## INTERNAL OPTIONS
 
 These options can be used to control the fine behavior of the tool.