fix spacing right-unfold-Nth

kframework · May 6, 2020 · 1c8bc06 · 1c8bc06
1 parent 343611a
commit 1c8bc06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prover/strategies/unfolding.md b/prover/strategies/unfolding.md
@@ -279,7 +279,7 @@ or `N` is out of range, `right-unfold(M,N) => fail`.
                     | "right-unfold-Nth-oneBody"  "(" Int "," Int "," Pattern "," Pattern ")"
 
   rule <strategy> right-unfold-Nth (M,N) => fail ... </strategy>
-  requires (M <Int 0) orBool (N <Int 0)
+    requires (M <Int 0) orBool (N <Int 0)
 
   rule <strategy> right-unfold-Nth (M,N)
                => right-unfold-Nth-eachRRP(M, N, getUnfoldables(RHS))