Skip to content

Commit 1509568

Browse files
committed
Fix bad join
1 parent 0938c7d commit 1509568

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎shared/util/codeql/util/UnboundList.qll‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -220,6 +220,8 @@ module Make<LocationSig Location, InputSig<Location> Input> {
220220
UnboundList nil() { result.isEmpty() }
221221

222222
/** Gets the singleton list `e`. */
223+
bindingset[e]
224+
pragma[inline_late]
223225
UnboundList singleton(Element e) { result = encode(e) + "." }
224226

225227
/**

0 commit comments

Comments
 (0)