From 1c8bc0634999868fbcadb1e2bd6ff97050326a0c Mon Sep 17 00:00:00 2001
From: Lucas Pena <lpena7@illinois.edu>
Date: Wed, 6 May 2020 16:23:00 -0500
Subject: [PATCH] fix spacing right-unfold-Nth

---
 prover/strategies/unfolding.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prover/strategies/unfolding.md b/prover/strategies/unfolding.md
index c05a00558..76835769b 100644
--- 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))