cleanup

shuoer86 · Jan 17, 2022 · 548b3f0 · 548b3f0
1 parent 05b8a53
commit 548b3f0
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/go/proof.go b/go/proof.go
@@ -281,10 +281,6 @@ func isLeftStep(spec *InnerSpec, left *InnerOp, right *InnerOp) bool {
 		panic(err)
 	}
 
-	// for idx := leftidx + 1; idx != rightidx; idx++ {
-	// leftBranchesAreEmpty()
-	// }
-
 	// TODO: is it possible there are empty (nil) children???
 	return rightidx == leftidx+1
 }