From 5f2a42bb483c57e6cdcb48515c136ede6e7ebef8 Mon Sep 17 00:00:00 2001
From: "REDMOND\\brodes" <brodes@microsoft.com>
Date: Tue, 8 Nov 2022 12:53:34 -0500
Subject: [PATCH] Changing predicate names.

---
 .../QuantumVulnerableDiscovery/WinCng/WindowsCng.qll          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cpp/ql/src/experimental/campaigns/nccoe-pqc-migration/QuantumVulnerableDiscovery/WinCng/WindowsCng.qll b/cpp/ql/src/experimental/campaigns/nccoe-pqc-migration/QuantumVulnerableDiscovery/WinCng/WindowsCng.qll
index af82ea651e9..5c775da7b97 100644
--- a/cpp/ql/src/experimental/campaigns/nccoe-pqc-migration/QuantumVulnerableDiscovery/WinCng/WindowsCng.qll
+++ b/cpp/ql/src/experimental/campaigns/nccoe-pqc-migration/QuantumVulnerableDiscovery/WinCng/WindowsCng.qll
@@ -21,7 +21,7 @@ class BCryptEncryptArgumentSink extends BCryptOpenAlgorithmProviderSink {
 }
 
 // ----------------- SOURCES -----------------------
-predicate providerString(StringLiteral lit) {
+predicate vulnProviderLiteral(StringLiteral lit) {
   exists(string s | s = lit.getValue() |
     s in ["DH", "DSA", "ECDSA", "ECDH"] or
     s.matches("ECDH%") or
@@ -30,5 +30,5 @@ predicate providerString(StringLiteral lit) {
 }
 
 class BCryptOpenAlgorithmProviderPqcVulnerableAlgorithmsSource extends BCryptOpenAlgorithmProviderSource {
-  BCryptOpenAlgorithmProviderPqcVulnerableAlgorithmsSource() { providerString(this.asExpr()) }
+  BCryptOpenAlgorithmProviderPqcVulnerableAlgorithmsSource() { vulnProviderLiteral(this.asExpr()) }
 }