From b374ba3d0c8ffbcc0613ae41e39cf6ea29ef1653 Mon Sep 17 00:00:00 2001
From: "REDMOND\\brodes" <brodes@microsoft.com>
Date: Tue, 21 Oct 2025 11:48:37 -0400
Subject: [PATCH] Crypto: Updating java 'location' information to be just a
 location's toString to be more verbose/precise.

---
 java/ql/lib/experimental/quantum/Language.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/ql/lib/experimental/quantum/Language.qll b/java/ql/lib/experimental/quantum/Language.qll
index 3a33b763a6f..bcc8b62ca87 100644
--- a/java/ql/lib/experimental/quantum/Language.qll
+++ b/java/ql/lib/experimental/quantum/Language.qll
@@ -30,7 +30,7 @@ module CryptoInput implements InputSig<Language::Location> {
   class UnknownLocation = UnknownDefaultLocation;
 
   string locationToFileBaseNameAndLineNumberString(Location location) {
-    result = location.getFile().getBaseName() + ":" + location.getStartLine()
+    result = location.toString()
   }
 
   LocatableElement dfn_to_element(DataFlow::Node node) {