From 3edda27f5e9a4b603281a8e511734f410a3fba23 Mon Sep 17 00:00:00 2001 From: Matthew Fernandez Date: Mon, 24 Jun 2019 17:06:32 -0700 Subject: [PATCH] correct some whitespace in the manpage --- rumur/doc/rumur.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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