From 0d4dc7d170bc21984a62e61b362387b0c0e255cc Mon Sep 17 00:00:00 2001
From: Paul Schaub <vanitasvitae@fsfe.org>
Date: Wed, 26 Oct 2022 18:24:19 +0200
Subject: [PATCH] Remove debugging fields

---
 .../pgpainless/decryption_verification/syntax_check/PDA.java | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/pgpainless-core/src/main/java/org/pgpainless/decryption_verification/syntax_check/PDA.java b/pgpainless-core/src/main/java/org/pgpainless/decryption_verification/syntax_check/PDA.java
index c77b50cc..40021734 100644
--- a/pgpainless-core/src/main/java/org/pgpainless/decryption_verification/syntax_check/PDA.java
+++ b/pgpainless-core/src/main/java/org/pgpainless/decryption_verification/syntax_check/PDA.java
@@ -16,7 +16,6 @@ import static org.pgpainless.decryption_verification.syntax_check.StackAlphabet.
 
 public class PDA {
 
-    private static int ID = 0;
     private static final Logger LOGGER = LoggerFactory.getLogger(PDA.class);
 
     /**
@@ -171,13 +170,11 @@ public class PDA {
 
     private final Stack<StackAlphabet> stack = new Stack<>();
     private State state;
-    private int id;
 
     public PDA() {
         state = State.OpenPgpMessage;
         stack.push(terminus);
         stack.push(msg);
-        this.id = ID++;
     }
 
     public void next(InputAlphabet input) throws MalformedOpenPgpMessageException {
@@ -240,6 +237,6 @@ public class PDA {
 
     @Override
     public String toString() {
-        return "PDA " + id + ": State: " + state + " Stack: " + stack;
+        return "State: " + state + " Stack: " + stack;
     }
 }