Add a new line before RenumberInfosets function

rahulsavani · web-flow · commit 662a1964010f · 2025-12-31T09:59:44.000Z
diff --git a/src/games/gametree.cc b/src/games/gametree.cc
@@ -865,6 +865,7 @@ void GameTreeRep::SortInfosets(GamePlayerRep *p_player)
       });
   RenumberInfosets(p_player);
 }
+
 void GameTreeRep::RenumberInfosets(GamePlayerRep *p_player)
 {
   std::for_each(

Original file line number	Diff line number	Diff line change
`@@ -865,6 +865,7 @@ void GameTreeRep::SortInfosets(GamePlayerRep *p_player)`
`865`	`865`	`});`
`866`	`866`	`RenumberInfosets(p_player);`
`867`	`867`	`}`
	`868`	`+`
`868`	`869`	`void GameTreeRep::RenumberInfosets(GamePlayerRep *p_player)`
`869`	`870`	`{`
`870`	`871`	`std::for_each(`