C++: Autoformat.

This commit is contained in:
Geoffrey White
2020-08-12 16:59:15 +01:00
parent 9719da8643
commit 2655616a0a

View File

@@ -27,8 +27,8 @@ class SALMacro extends Macro {
}
}
private pragma[noinline]
predicate isTopLevelMacroAccess(MacroAccess ma) { not exists(ma.getParentInvocation()) }
pragma[noinline]
private predicate isTopLevelMacroAccess(MacroAccess ma) { not exists(ma.getParentInvocation()) }
/**
* An invocation of a SAL macro (excluding invocations inside other macros).