From 99538f0f07508967a8faefb19d310b0aa0ddc513 Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Tue, 9 Jun 2026 16:53:24 +0200
Subject: [PATCH] Delete unused predicate (leftover from old implementation)

---
 go/ql/lib/semmle/go/dataflow/SSA.qll | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/go/ql/lib/semmle/go/dataflow/SSA.qll b/go/ql/lib/semmle/go/dataflow/SSA.qll
index da7dc76b0bb..0b8895f43a0 100644
--- a/go/ql/lib/semmle/go/dataflow/SSA.qll
+++ b/go/ql/lib/semmle/go/dataflow/SSA.qll
@@ -194,15 +194,6 @@ abstract class SsaPseudoDefinition extends SsaImplicitDefinition {
    * Gets an input of this pseudo-definition.
    */
   abstract SsaVariable getAnInput();
-
-  /**
-   * Gets a textual representation of the inputs of this pseudo-definition
-   * in lexicographical order.
-   */
-  string ppInputs() {
-    result =
-      concat(SsaVariable inp | inp = this.getAnInput() | inp.toString() order by inp.toString())
-  }
 }
 
 /**