From e291b5ec2b8b6e554c8182e77d0648dca32bad03 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <schack@semmle.com>
Date: Thu, 11 Oct 2018 10:05:19 +0200
Subject: [PATCH] Java: Break line and re-autoformat.

---
 java/ql/src/Likely Bugs/Collections/ContainsTypeMismatch.ql | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/java/ql/src/Likely Bugs/Collections/ContainsTypeMismatch.ql b/java/ql/src/Likely Bugs/Collections/ContainsTypeMismatch.ql
index c450240c558..356997e48e7 100644
--- a/java/ql/src/Likely Bugs/Collections/ContainsTypeMismatch.ql	
+++ b/java/ql/src/Likely Bugs/Collections/ContainsTypeMismatch.ql	
@@ -46,7 +46,11 @@ predicate containerAccess(string package, string type, int p, string signature,
   signature = "lastIndexOf(java.lang.Object)" and
   i = 0
   or
-  package = "java.util" and type = "Map" and p = 0 and signature = "get(java.lang.Object)" and i = 0
+  package = "java.util" and
+  type = "Map" and
+  p = 0 and
+  signature = "get(java.lang.Object)" and
+  i = 0
   or
   package = "java.util" and
   type = "Map" and