C++/C#: autoformat Opcode.qll

This commit is contained in:
Robert Marsh
2020-02-11 12:18:45 -08:00
parent f467260815
commit 837fe84cec
2 changed files with 4 additions and 2 deletions

View File

@@ -696,7 +696,8 @@ module Opcode {
final override string toString() { result = "SizedBufferMayWriteSideEffect" }
}
class InitializeDynamicAllocation extends SideEffectOpcode, EntireAllocationWriteOpcode, TInitializeDynamicAllocation {
class InitializeDynamicAllocation extends SideEffectOpcode, EntireAllocationWriteOpcode,
TInitializeDynamicAllocation {
final override string toString() { result = "InitializeDynamicAllocation" }
}