python: format file

This commit is contained in:
yoff
2026-01-22 20:51:46 +01:00
parent d05901ad3f
commit 55abc52c61

View File

@@ -165,9 +165,7 @@ module UrlRedirect {
* A sanitizer defined via models-as-data with kind "url-redirection".
*/
class SanitizerFromModel extends Sanitizer {
SanitizerFromModel() {
ModelOutput::barrierNode(this, "url-redirection")
}
SanitizerFromModel() { ModelOutput::barrierNode(this, "url-redirection") }
override predicate sanitizes(FlowState state) {
// sanitize all flow states