Update plugins/qcheck-stm/doc/index.mld

Co-authored-by: Jan Midtgaard <[email protected]>

Author: n-osborne

plugins/qcheck-stm/doc/index.mld

@@ -203,7 +203,7 @@ cli arguments available are:
 {ul {li a [quiet] flag}
     {li a [module-prefix] optional argument}}
 
-The [--quiet] flag simply stop the warnings to be printed out. Ortac/QCheck-STM
+The [--quiet] flag simply stops the warnings from being printed out. Ortac/QCheck-STM
 can generate a lot of warnings, that are not always meaningful depending on
 which stage of the development the user is.