Commits

Mariusz Mazur committed 5561812

Fixed typo.

  • Participants
  • Parent commits 53e20c9

Comments (0)

Files changed (1)

 
 A guard cannot start with a ``\texttt{+}'' or ``\texttt{-}''
 character.  The name of a guard must not contain white space, but most
-othter characters are acceptable.  If you try to use a guard with an
+other characters are acceptable.  If you try to use a guard with an
 invalid name, MQ will complain:
 \interaction{mq.guards.qselect.error} 
 Changing the selected guards changes the patches that are applied.