Fix formatting

This commit is contained in:
Jaroslav Lobačevski
2026-06-24 17:17:16 +00:00
parent 4b8cb3ffac
commit 7fc4b4856e

View File

@@ -179,10 +179,11 @@ private predicate protectedCaller(ExternalJob caller, Event event, string catego
}
cached
private newtype TCallerState = MkCallerState(ExternalJob caller, Event event, string category) {
caller.getATriggerEvent() = event and
category = any_category()
}
private newtype TCallerState =
MkCallerState(ExternalJob caller, Event event, string category) {
caller.getATriggerEvent() = event and
category = any_category()
}
private class CallerState extends TCallerState, MkCallerState {
ExternalJob caller;