More auto formatting

AndreiDiaconu1 · AndreiDiaconu1 · commit c64db777eec9 · 2019-09-19T10:31:25.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/IRConstruction.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/IRConstruction.qll
@@ -17,6 +17,7 @@ TranslatedElement getInstructionTranslatedElement(Instruction instruction) {
 }
 
 InstructionTag getInstructionTag(Instruction instruction) { instruction = MkInstruction(_, result) }
+
 import Cached
 
 cached
@@ -316,6 +317,7 @@ private module Cached {
   cached
   Language::BuiltInOperation getInstructionBuiltInOperation(Instruction instr) { none() }
 }
+
 import CachedForDebugging
 
 cached
diff --git a/csharp/ql/src/semmle/code/csharp/ir/internal/IRCSharpLanguage.qll b/csharp/ql/src/semmle/code/csharp/ir/internal/IRCSharpLanguage.qll
@@ -29,7 +29,6 @@ class BuiltInOperation extends TBuiltInOperation {
 
 class ClassDerivation extends MkClassDerivation {
   Class baseClass;
-
   Class derivedClass;
 
   ClassDerivation() { this = MkClassDerivation(baseClass, derivedClass) }

Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,7 @@ TranslatedElement getInstructionTranslatedElement(Instruction instruction) {`
`17`	`17`	`}`
`18`	`18`
`19`	`19`	`InstructionTag getInstructionTag(Instruction instruction) { instruction = MkInstruction(_, result) }`
	`20`	`+`
`20`	`21`	`import Cached`
`21`	`22`
`22`	`23`	`cached`
`@@ -316,6 +317,7 @@ private module Cached {`
`316`	`317`	`cached`
`317`	`318`	`Language::BuiltInOperation getInstructionBuiltInOperation(Instruction instr) { none() }`
`318`	`319`	`}`
	`320`	`+`
`319`	`321`	`import CachedForDebugging`
`320`	`322`
`321`	`323`	`cached`