C++: Autoformat.

This commit is contained in:
Mathias Vorreiter Pedersen
2026-01-19 11:58:11 +00:00
parent c47a9ddf83
commit c11b464492

View File

@@ -166,7 +166,8 @@ module SourceSinkInterpretationInput implements
exists(
string package, string type, boolean subtypes, string name, string signature, string ext
|
barrierGuardModel(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance, model) and
barrierGuardModel(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind,
provenance, model) and
e = interpretElement(package, type, subtypes, name, signature, ext)
)
}