From 8d4b7241c431ebaa50cf335792ff497c7cfc4835 Mon Sep 17 00:00:00 2001 From: Tom van Dijk Date: Thu, 25 Jul 2024 22:10:19 +0200 Subject: [PATCH] Fix nudge tool --- src/tools/nudge.cpp | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/src/tools/nudge.cpp b/src/tools/nudge.cpp index 432615b..6b42cf0 100644 --- a/src/tools/nudge.cpp +++ b/src/tools/nudge.cpp @@ -154,9 +154,8 @@ nudge(Game *game, int profile) pg::bitset mask(game->vertexcount()); mask.set(); mask[n] = false; - Game *subgame = game->extract_subgame(mask); + auto subgame = game->extract_subgame(mask); game->swap(*subgame); - delete subgame; return true; } else if (action == 3) { // remove the vertex and forward incoming edges if it has only 1 outgoing edge @@ -174,9 +173,8 @@ nudge(Game *game, int profile) pg::bitset mask(game->vertexcount()); mask.set(); mask[n] = false; - Game *subgame = game->extract_subgame(mask); + auto subgame = game->extract_subgame(mask); game->swap(*subgame); - delete subgame; return true; } } else if (action == 4) { @@ -273,9 +271,8 @@ main(int argc, char **argv) if (options.count("b")) { std::vector scc; tarjan(game, rng(0, game->vertexcount()-1), scc, true); - Game *sub = game->extract_subgame(scc); - delete game; - game = sub; + auto sub = game->extract_subgame(scc); + game->swap(*sub); } /**