From 578634b9ddd8fad3beb14e7d1a2ae4289ceebdf6 Mon Sep 17 00:00:00 2001
From: Thomas Lemberger <lembergerth@gmail.com>
Date: Mon, 27 Sep 2021 10:16:00 +0200
Subject: [PATCH] Format tests

---
 src/org/sosy_lab/llvm_j/PackageSanityTest.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/org/sosy_lab/llvm_j/PackageSanityTest.java b/src/org/sosy_lab/llvm_j/PackageSanityTest.java
index d965103..e9eabdb 100644
--- 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);