Small stylistic improvement

github · Nov 22, 2024 · 4a05c3d · 4a05c3d
1 parent 981948f
commit 4a05c3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/go/ql/lib/semmle/go/Types.qll b/go/ql/lib/semmle/go/Types.qll
@@ -560,7 +560,7 @@ class StructType extends @structtype, CompositeType {
    * The depth of a field `f` declared in this type is zero.
    */
   Field getFieldAtDepth(string name, int depth) {
-    depth = min(int depthCand | exists(Field f | this.hasFieldCand(name, f, depthCand, _))) and
+    depth = min(int depthCand | this.hasFieldCand(name, _, depthCand, _)) and
     this.hasFieldCand(name, result, depth, _) and
     strictcount(Field f | this.hasFieldCand(name, f, depth, _)) = 1
   }