Apply suggestions from code review

informalsystems · Mar 22, 2024 · e1ebfc2 · e1ebfc2
1 parent 606b436
commit e1ebfc2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/quint.md b/doc/quint.md
@@ -101,8 +101,8 @@ the file is taken to be the main module.
 
 The main module must specify a state machine. This means it must either define
 actions named `init` and `step`, specifying the initial state and the
-transition action respectivefly, or suitable actions defined in the main module
-must be indicated using the `--init` and `--step` actions.
+transition action respectively, or suitable actions defined in the main module
+must be indicated using the `--init` and `--step` options.
 
 The following compilation targets are supported