diff --git a/rumur/doc/rumur.1 b/rumur/doc/rumur.1 index 11e96960..bef5a313 100644 --- a/rumur/doc/rumur.1 +++ b/rumur/doc/rumur.1 @@ -129,7 +129,7 @@ result in the set only expanding when completely full. This may sound ideal, but will actually result in a much longer runtime. .RE .PP -\fB--symmetry-reduction\fR [\fBoff\fR | \fBheuristic\fR | \fBexhaustive\fR ] +\fB--symmetry-reduction\fR [\fBoff\fR | \fBheuristic\fR | \fBexhaustive\fR] .RS Enable or disable symmetry reduction. Symmetry reduction is an optimisation that decreases the state space that must be searched by deriving a canonical