diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowPrivate.qll b/ql/src/semmle/go/dataflow/internal/DataFlowPrivate.qll index b5f1d818d69..d8e708a8c7c 100644 --- a/ql/src/semmle/go/dataflow/internal/DataFlowPrivate.qll +++ b/ql/src/semmle/go/dataflow/internal/DataFlowPrivate.qll @@ -19,7 +19,7 @@ class ReturnKind extends TReturnKind { class ReturnNode extends ResultNode { ReturnKind kind; - ReturnNode() { exists(int nr | nr = fd.getType().getNumResult() | kind = MkReturnKind(i)) } + ReturnNode() { kind = MkReturnKind(i) } /** Gets the kind of this returned value. */ ReturnKind getKind() { result = kind }