Format tests

sosy-lab · Sep 27, 2021 · 578634b · 578634b
1 parent 5a0ad09
commit 578634b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/org/sosy_lab/llvm_j/PackageSanityTest.java b/src/org/sosy_lab/llvm_j/PackageSanityTest.java
@@ -57,7 +57,8 @@ public class PackageSanityTest extends AbstractPackageSanityTests {
       setDefault(TypeRef.class, t);
       setDistinctValues(TypeRef.class, t, b2.getFirstInstruction().typeOf());
       setDefault(LLVMLibrary.LLVMTypeRef.class, t.type());
-      setDistinctValues(LLVMLibrary.LLVMTypeRef.class, t.type(), b2.getFirstInstruction().typeOf().type());
+      setDistinctValues(
+          LLVMLibrary.LLVMTypeRef.class, t.type(), b2.getFirstInstruction().typeOf().type());
       setDefault(Value.class, v);
       setDistinctValues(Value.class, v, b1.basicBlockAsValue());
       setDefault(BasicBlock.class, b1);