From 5bee3bac4b2aa987dbd17164c0ece17fd149383a Mon Sep 17 00:00:00 2001
From: "Scott C. Livingston" <scott@rerobots.net>
Date: Sat, 24 Aug 2024 16:06:59 -0700
Subject: [PATCH] rm unused vestigial variable

The debugging print statements where this was used were
deleted in commit ddb82a96935081c8e6644bcbe77413d57c4d9067
---
 src/patching.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/patching.c b/src/patching.c
index 1e7c0c8..835802c 100644
--- a/src/patching.c
+++ b/src/patching.c
@@ -376,7 +376,6 @@ anode_t *patch_localfixpoint( DdManager *manager,
     int num_read;
     anode_t *strategy, *result_strategy;
     anode_t *node, *head;
-    int node_counter;
     vartype **N = NULL;  /* "neighborhood" of states */
     int N_len = 0;
     int goal_mode;
@@ -948,7 +947,6 @@ anode_t *patch_localfixpoint( DdManager *manager,
 
                 /* Find nodes in strategy that are affected by this change */
                 head = strategy;
-                node_counter = 0;
                 while (head) {
                     for (i = 0; i < head->trans_len; i++) {
                         if (statecmp( state, (*(head->trans+i))->state+num_env,
@@ -980,7 +978,6 @@ anode_t *patch_localfixpoint( DdManager *manager,
                         }
                     }
                     head = head->next;
-                    node_counter++;
                 }
 
                 vertex2 = state_to_BDD( manager, state,